Results 1 to 10 of about 941 (117)
Questions and Dependency in Intuitionistic Logic [PDF]
Notre Dame Journal of Formal Logic, 2020 In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core.
Ivano Ciardelli +2 more
openaire +12 more sources
Studia Logica, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Juan Manuel Cornejo, Cornejo Juan Manuel
openaire +5 more sources
Intuitionistic Logic is a Connexive Logic
Studia Logica, 2023 AbstractWe show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic ($$\textrm{CHL}$$ CHL ), hereby introduced as an example of a strongly connexive logic with an intuitive semantics. We use the reverse algebraisation paradigm: $$\textrm{CHL}$$ CHL is ...
davide fazio +2 more
openaire +5 more sources
INTUITIONISTIC EPISTEMIC LOGIC [PDF]
The Review of Symbolic Logic, 2016 AbstractWe outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification.
Sergei N. Artëmov, Tudor Protopopescu
openaire +2 more sources
Eskolemization in Intuitionistic Logic [PDF]
Journal of Logic and Computation, 2009 In Baaz and Iemhoff (2006, Annals of Pure and Applied Logic, 142, 269–295), an alternative skolemization method called eskolemization was introduced that is sound and complete for existence logic with respect to existential quantifiers. Existence logic is a conservative extension of intuitionistic logic by an existence predicate.
Matthias Baaz, Rosalie Iemhoff
openaire +3 more sources
Intuitionistic fixed point logic [PDF]
Annals of Pure and Applied Logic, 2021 We study the system IFP of intuitionistic fixed point logic, an extension of intuitionistic first-order logic by strictly positive inductive and coinductive definitions. We define a realizability interpretation of IFP and use it to extract computational content from proofs about abstract structures specified by arbitrary classically true disjunction ...
Ulrich Berger 0001, Hideki Tsuiki
openaire +3 more sources
On an intuitionistic logic for pragmatics [PDF]
Journal of Logic and Computation, 2015 We reconsider Dalla Pozza and Garola’s pragmatic interpretation of intuitionistic logic regarded as a logic of assertions and their justifications and its relations with classical logic.We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication developed especially by K ...
Gianluigi Bellin +2 more
openaire +1 more source
Journal of Applied Logic, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Torben Braüner, Valeria de Paiva
openaire +3 more sources
Dual-Intuitionistic Logic [PDF]
Notre Dame Journal of Formal Logic, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Intuitionistic ancestral logic
Journal of Logic and Computation, 2019 Abstract In this article we define pure intuitionistic Ancestral Logic ( iAL ), extending pure intuitionistic First-Order Logic ( iFOL ). This logic is a dependently typed abstract programming language with computational functionality beyond iFOL given by its realizer for the transitive closure, TC .
Liron Cohen 0001, Robert L. Constable
openaire +1 more source