Results 11 to 20 of about 722,619 (215)
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 +6 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 +3 more sources
Minimal Systems of Temporal Logic
Axioms, 2020 The article discusses minimal temporal logic systems built on the basis of classical logic as well as intuitionistic logic. The constructions of these systems are discussed as well as their basic properties.
Dariusz Surowik
doaj +2 more sources
Remark on intuitionistic fuzzy logic and intuitionistic logic [PDF]
Mathware & soft computing, 1995 It is shown that the axioms of the intuitionistic logic can be proved as theorems in the frames of the intuitionistic fuzzy logic.
Atanassov, Krassimir T.
openaire +4 more sources
Intuitionistic propositional probability logic
Mathematical Logic Quarterly, 2022 AbstractWe give a sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators is also intuitionistic (in contradistinction to other works on this topic), i.e., measure functions used for modeling probability operators are partial functions. Finally, we present a decision procedure for our
Angelina Ilic-Stepic +2 more
openaire +3 more sources
Copies of Classical Logic in Intuitionistic Logic [PDF]
Philosophia Scientiæ, 2014 La logique classique (la logique des mathématiques non-constructives) est plus forte que la logique intuitionniste (la logique des mathématiques constructives).
Jaime Gaspar
doaj +4 more sources
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 ...
Aryal, Safal Raman
core +4 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 +6 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
Independence and conservativity results for intuitionistic set theory [PDF]
, 2010 There are two main parts to this thesis. The first part will deal with some independence results. In 1979, Lifschitz in [13] introduced a realizability interpretation for Heyting's arithmetic, HA, that could differentiate between Church's thesis with ...
Chen, Ray-Ming
core +4 more sources