Results 191 to 200 of about 722,619 (215)

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

Unification in intuitionistic logic

Journal of Symbolic Logic, 1999
AbstractWe show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented
openaire   +3 more sources

Relevant Variants of Intuitionistic Logic

Logic Journal of IGPL, 1994
It is well known that adding a propositional constant \(f\) to the system of relevant logic R, and defining \(\neg\alpha\) as \(\alpha\to f\), provides an intuitionist-like negation. [See, e.g., \textit{R. K. Meyer}, ``Intuitionism, entailment and negation'', in: Truth, Syntax and Modality, Stud. Logic Found. Math.
openaire   +1 more source

A Fragment of Intuitionistic Dynamic Logic

Fundamenta Informaticae, 2001
We present a fragment of Propositional Dynamic Logic based on the Intuitionistic Propositional Logic. We show that this logic has the finite model property, and therefore, is frame-complete.
exaly   +4 more sources

On fuzzy intuitionistic logic

Kybernetika, 1991
Summary: A first-order fuzzy logic, called Fuzzy Intuitionistic Logic is introduced. This fuzzy logic is a generalization of classical intuitionistic logic.
openaire   +3 more sources

Basic Intuitionistic Conditional Logic

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

Embedding Lax Logic into Intuitionistic Logic

2002
Lax logic is obtained from intuitionistic logic by adding a single modality o which captures properties of necessity and possibility. This modality was considered by Curry in two papers from 1952 and 1957 and rediscovered recently in different contexts like verification of circuits and the computational λ-calculus.
openaire   +1 more source

Elements of Intuitionistic Fuzzy Logic. Part I

Fuzzy Sets and Systems, 1998
Krassimir Atanassov
exaly  

Intuitionistic Fuzzy Logics as Tools for Evaluation of Data Mining Processes

Knowledge-Based Systems, 2015
Krassimir Atanassov
exaly  

Truth-Maker Semantics for Intuitionistic Logic

Journal of Philosophical Logic, 2014
Kit Fine
exaly