Results 191 to 200 of about 5,025 (226)

Intuitionistic Autoepistemic Logic

Studia Logica, 1997
Intuitionistic propositional logic with an S5-type possibility operator is proposed as a logic of intuitionistically stable sets.
GIANNI AMATI, CARLUCCI, Luigia, PIRRI ARDIZZONE, Maria Fiora   +2 more
openaire   +2 more sources

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

On an Intuitionistic Modal Logic

Studia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gavin M. Bierman, Valeria de Paiva
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 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).
Heinrich Wansing, Norihiro Kamide
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

An intuitionistically plausible interpretation of intuitionistic logic

Journal of Symbolic Logic, 1977
Let IPC be the intuitionistic first-order predicate calculus. From the definition of derivability in IPC the following is clear:(1) If A is derivable in IPC, denoted by “⊦IPCA”, then A is intuitively true, that means, true according to the intuitionistic interpretation of the logical symbols.
openaire   +2 more sources

Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic

Mathematical Structures in Computer Science, 1995
It is well known that Intuitionistic Logic can be faithfully embedded into (Intuitionistic) Linear Logic. The purpose of this paper is to study the embedding from a semantical viewpoint, by investigating the relationship between various models for Intuitionistic Logic and for Intuitionistic Linear Logic.
openaire   +2 more sources

Modal Intuitionistic Logics as Dialgebraic Logics

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
Duality is one of the key techniques in the categorical treatment of modal logics. From the duality between (modal) algebras and (descriptive) frames one derives e.g. completeness (via a syntactic characterisation of algebras) or definability (using a suitable version of the Goldblatt-Thomason theorem).
Jim de Groot, Dirk Pattinson
openaire   +1 more source

A Possibilistic Intuitionistic Logic

2010
We define what we call "Possibilistic Intuitionistic Logic (PIL)"; We present results analogous to those of the well-known intuitionistic logic, such as a Deduction Theorem, a Generalized version of the Deduction Theorem, a Cut Rule, a weak version of a Refutation Theorem, a Substitution Theorem and Glivenko's Theorem.
Oscar Estrada, José Arrazola, Mauricio Osorio 0001   +2 more
openaire   +1 more source