Results 31 to 40 of about 722,619 (215)
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 +1 more source
Towards the Integration of an Intuitionistic First-Order Prover into Coq [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 An efficient intuitionistic first-order prover integrated into Coq is useful to replay proofs found by external automated theorem provers. We propose a two-phase approach: An intuitionistic prover generates a certificate based on the matrix ...
Fabian Kunze
doaj +1 more source
An Investigation into Intuitionistic Logic with Identity [PDF]
, 2019 We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem.
Chlebowski, Szymon +1 more
core +2 more sources
Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
Lietuvos Matematikos Rinkinys, 2008 In the paper, we define some classes of sequents of the propositional intuitionistic logic. These are classes of primarily and α-primarily reducible sequents. Then we show how derivability of these sequents in a propositional intuitionistic logic sequent
Romas Alonderis
doaj +1 more source
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 +2 more sources
Intuitionistic quantum logic of an n-level system [PDF]
, 2009 A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics.
Landsman, N.P. +14 more
core +1 more source
Philosophical Foundations of Intuitionistic Logic [PDF]
Metaphysics, 2013 Intuitionistic logic, as a non-classical logic, encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics.
L Nabavi, MA Hojati, H Alaeenezhad
doaj +1 more source
From Intuitionism to Brouwer's Modal Logic
Bulletin of the Section of Logic, 2020 We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication ...
Zofia Kostrzycka
doaj +1 more source
'Unless' is 'Or', Unless '¬A Unless A' is Invalid
Dialectica, 2022 The proper translation of "unless" into intuitionistic formalisms is examined. After a brief examination of intuitionistic writings on "unless", and on translation in general, and a close examination of Dummett's use of "unless" in Elements of ...
Roy Cook
doaj +1 more source
The information in intuitionistic logic [PDF]
Synthese, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources