Results 91 to 100 of about 20,888 (254)
A Logic for Quantum Register Measurements
Axioms, 2019 We know that quantum logics are the most prominent logical systems associated to the lattices of closed Hilbert subspaces. However, what happen if, following a quantum computing perspective, we want to associate a logic to the process of quantum ...
Andrea Masini, Margherita Zorzi
doaj +1 more source
A Note on OTM-Realizability and Constructive Set Theories
, 2019 We define an ordinalized version of Kleene's realizability interpretation of intuitionistic logic by replacing Turing machines with Koepke's ordinal Turing machines (OTMs), thus obtaining a notion of realizability applying to arbitrary statements in the ...
Carl, Merlin
core
Azafea: Revista de Filosofía, 2009 RESUMEN: Tras una introducción histórica al intuicionismo como filosofía de las matemáticas, se introduce la lógica intuicionista. Comenzamos desde sus fundamentos según la interpretación BHK, y continuamos con las reglas del cálculo de deducción natural
Dick DE JONGH
doaj
Logiques dialogiques ‘multivalentes’
Philosophia Scientiæ, 2004 Aim of this paper is to show how so-called multi-valued logics can be formulated within the framework of Dialogical Logic. In order to formulate the particle rules for multi-valued logics the concept of different assertion modes is introduced.
Helge Rückert
doaj +1 more source
Lietuvos Matematikos Rinkinys, 2009 The paper deals with specialization of the antecedent negation loop-rule for the negative implication free fragment of the propositional intuitionistic logic.
Romas Alonderis
doaj +1 more source
Kripke models for intuitionistic propositional logic
, 2022 R Shabana +3 more
openalex +1 more source
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic [PDF]
, 2009 Paolo Torrini, Reiko Heckel
openalex +1 more source
Propositional inquisitive logic: a survey [PDF]
Computer Science Journal of Moldova, 2016 This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj
Intuitionistic logic, dual intuitionistic logic, and modality
We explore various semantic understandings of dual intuitionistic logic by exploring the relationship between co-Heyting algebras and topological spaces. First, we discuss the relevant ideas in the setting of Heyting algebras and intuitionistic logic, showing organically the progression from the primordial example of lattices of open sets of ...
openaire +2 more sources
The model checking problem for intuitionistic propositional logic with one variable is AC1-complete [PDF]
, 2011 We show that the model checking problem for intuitionistic propositional logic with one variable is complete for logspace-uniform AC1. As basic tool we use the connection between intuitionistic logic and Heyting algebra, and investigate its complexity ...
Mundhenk, Martin, Weiss, Felix
core