Results 1 to 10 of about 785,300 (287)
On an Intuitionistic Logic for Pragmatics [PDF]
Journal of Logic and Computation, 2018 We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justications and its relations with classical logic.
Bellin, Gianluigi +2 more
core +4 more sources
Intuitionistic Logic is a Connexive Logic [PDF]
Studia Logica, 2022 We 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.
D. Fazio, Antonio Ledda, F. Paoli
semanticscholar +5 more sources
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2018 Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj +4 more sources
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic [PDF]
Logical Methods in Computer Science, 2021 Open bisimilarity is defined for open process terms in which free variables may appear. The insight is, in order to characterise open bisimilarity, we move to the setting of intuitionistic modal logics. The intuitionistic modal logic introduced, called $\
Ki Yung Ahn, Ross Horne, Alwen Tiu
doaj +3 more sources
Dualized Simple Type Theory [PDF]
Logical Methods in Computer Science, 2017 We propose a new bi-intuitionistic type theory called Dualized Type Theory (DTT). It is a simple type theory with perfect intuitionistic duality, and corresponds to a single-sided polarized sequent calculus.
Harley Eades III +2 more
doaj +3 more sources
Questions and dependency in intuitionistic logic [PDF]
Notre Dame Journal of Formal Logic, 2017 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
Ivano Ciardelli +2 more
semanticscholar +10 more sources
Functional Interpretations of Intuitionistic Linear Logic [PDF]
Logical Methods in Computer Science, 2011 We present three different functional interpretations of intuitionistic linear logic ILL and show how these correspond to well-known functional interpretations of intuitionistic logic IL via embeddings of IL into ILL.
Gilda Ferreira, Paulo Oliva
doaj +2 more sources
Propositional Logics Complexity and the Sub-Formula Property [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In 1979 Richard Statman proved, using proof-theory, that the purely implicational fragment of Intuitionistic Logic (M-imply) is PSPACE-complete.
Edward Hermann Haeusler
doaj +5 more sources
Intuitionistic Fixed Point Logic [PDF]
Annals of Pure and Applied Logic, 2020 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, H. Tsuiki
semanticscholar +6 more sources
Categorical Proof Theory of Co-Intuitionistic Linear Logic [PDF]
Logical Methods in Computer Science, 2014 To provide a categorical semantics for co-intuitionistic logic one has to face the fact, noted by Tristan Crolard, that the definition of co-exponents as adjuncts of coproducts does not work in the category Set, where coproducts are disjoint unions ...
Gianluigi Bellin
doaj +2 more sources