Results 31 to 40 of about 20,888 (254)
Monadic Fragments of Intuitionistic Control Logic [PDF]
, 2016 We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants.
Glenszczyk, Anna
core +2 more sources
Intersection Logic in sequent calculus style [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus.
Simona Ronchi Della Rocca +3 more
doaj +1 more source
Uniform Definability in Propositional Dependence Logic
, 2016 Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula with intuitionistic disjunction or intuitionistic implication can be translated equivalently into a formula in the language of ...
Yang, Fan
core +1 more source
Co-constructive Logics for Proofs and Refutations
Studia Humana, 2015 This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and
Trafford James
doaj +1 more source
Studia Logica, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
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
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.
Baaz, Matthias, Iemhoff, R.
openaire +3 more sources
Negational Fragment of Intuitionistic Control Logic [PDF]
, 2014 We investigate properties of monadic purely negational fragment of Intuitionistic Control Logic (ICL). This logic arises from Intuitionistic Propositional Logic (IPL) by extending language of IPL by additional new constant for falsum.
Glenszczyk, Anna
core +3 more sources