Results 201 to 210 of about 5,025 (226)

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   +2 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

Logical connectives for intuitionistic propositional logic

Journal of Symbolic Logic, 1971
In classical propositional logic it is well known that {7, ⊃ } is a functionally complete set with respect to a two-valued truth function modeling. I.e. all definable logical connectives are definable from 7 and ⊃. Other modelings of classical type propositional logics may have different functionally complete sets; for example, multivalued truth ...
openaire   +2 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

AN INTUITIONISTIC CHARACTERIZATION OF CLASSICAL LOGIC

Journal of Philosophical Logic, 2007
It is common to analyse an extension of logical system by restricting the semantical framework characterizing the basic logic. The author points out that such a restriction does not mean a semantical explanation for ``extending logical system'' because the meanings of logical constants may be changed by the restriction, or more frankly, by another ...
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

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

Intuitionistic Fuzzy Topology Based on Intuitionistic Fuzzy Logic

Symmetry, 2022
Ayman A Aly, Aly Ayman A
exaly  

Truth-Maker Semantics for Intuitionistic Logic

Journal of Philosophical Logic, 2013
Kit Fine, Fine Kit
exaly  

Elements of intuitionistic fuzzy logic. Part I

Fuzzy Sets and Systems, 1998
Krassimir Atanassov
exaly