Results 161 to 170 of about 19,372 (208)

Intuitionistic Conditional Logics

Journal of Philosophical Logic, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ciardelli I, Liu X
openaire   +2 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
Ilić-Stepić, Angelina, Knežević, Mateja, Ognjanović, Zoran   +2 more
openaire   +2 more sources

Intuitionistic Logic As Epistemic Logic

Synthese, 2001
Is intuitionism a variant of constructivism? If intuitionism is not constructivism, what is it? What do the intuitions of the genuine intuitionists add up to? Are their intentions reflected faithfully in Heyting's intuitionistic logic? What is the epistemic logic like, in which the distinction can be made and in which the correctly understood claims of
openaire   +1 more source

Intuitionistic Light Affine Logic

ACM Transactions on Computational Logic, 2002
This article is a structured introduction to Intuitionistic Light Affine Logic ( ILAL ). ILAL has a polynomially costing normalization, and it is expressive enough to encode, and simulate, all PolyTime Turing machines.
ASPERTI, ROVERSI, Luca
openaire   +1 more source

Realizability and Intuitionistic Logic

Synthese, 1984
The paper is largely expository and attempts to clarity the relationship between the well-known proof-interpretation of intuitionistic logical operators on the one hand and realizability interpretations on the other hand, in particular in connection with the theory of types as formulated by \textit{P.
Diller, J., Troelstra, A. S.
openaire   +2 more sources

Fuzzy intuitionistic quantum logics

Studia Logica, 1993
Fuzzy intuitionistic quantum logics, or Brouwer-Zadeh logics, have been introduced by the first author and \textit{G. Nistico} [Fuzzy Sets Syst. 33, 165-190 (1989; Zbl 0682.03036)]. In this model, which serves as standard version of quantum logic, the notion of negation is splitted into two forms: a fuzzy-like one and an intuitionistic one.
CATTANEO G, DALLA CHIARA ML, GIUNTINI, ROBERTO   +2 more
openaire   +2 more sources

Intuitionistic Logic

1997
Abstract From the set-theoretic point of view intuitionistic propositional logic is a subset of the classical one: it can be defined by the calculus which is obtained fromClby discarding the law of the excluded middle (Al0). It is Brouwer’s (1907, 1908) criticism of this law that intuitionistic logic sterns from.
Alexander Chagrov, Michael Zakharyaschev
openaire   +1 more source

Basic Intuitionistic Conditional Logic

Journal of Philosophical Logic, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Intuitionistic Trilattice Logics

Journal of Logic and Computation, 2010
We take up a suggestion by Odintsov (2009, Studia Logica, 91, 407–428) and define intuitionistic variants of certain logics arising from the trilattice SIXTEEN3 introduced in Shramko and Wansing (2005, Journal of Philosophical Logic, 34, 121–153 and 2006, Journal of Logic, Language and Information, 15, 403–424).
H. Wansing, N. Kamide
openaire   +1 more source

Linear Logic and Intuitionistic Logic

Revue internationale de philosophie, 2004
Dans cet article je presente les fondements de la logique intuitioniste basee sur la logique lineair. Traditionnellement, la logique intuitioniste est concideree comme etant en disaccord avec les lois fondamentales de la logique classique sur la dualite, comme le tiers-exclu, les lois de Morgan, l'elimination de la double negation, etc.
openaire   +1 more source