Results 311 to 320 of about 2,358,795 (346)

Modal companions of intermediate propositional logics

Studia Logica, 1992
This paper is a survey of results concerning embeddings of intuitionistic propositional logic and its extensions to various classical modal systems.
Michael Zakharyashchev, Michael Zakharyashchev, Alexander V. Chagrov, Alexander V. Chagrov   +3 more
openaire   +2 more sources

Intermediate logics with the same disjunctionless fragment as intuitionistic logic

Studia Logica, 1986
An intermediate logic M is any consistent propositional logic containing intuitionistic logic I and closed under substitution and modus ponens. The author defines a sequence of formulae J as follows: start with \(\neg p\vee \neg \neg p\) and at any stage use the next sentential variable q and the formula A of the previous stage to form (q\(\to A)\vee (\
openaire   +3 more sources

Tabular Intermediate Logics Comparison

Tabular intermediate logics are intermediate logics characterized by finite posets treated as Kripke frames. For a poset $\mathbb{P}$, let $L(\mathbb{P})$ denote the corresponding tabular intermediate logic. We investigate the complexity of the following decision problem $\mathsf{LogContain}$: given two finite posets $\mathbb P$ and $\mathbb Q$, decide
Paweł Rzążewski, Michał Stronkowski
openaire   +1 more source

On the Automatic Generation of Intermediate Logic Forms for WordNet Glosses

Conference on Intelligent Text Processing and Computational Linguistics, 2010
Rodrigo Agerri, Anselmo Peñas
semanticscholar   +1 more source

Design of polarization conversion and rotation based ternary logic AND/NAND, OR/NOR, Ex-OR/Ex-NOR gates using ring resonator

Optical and quantum electronics, 2021
M. Singh, J. K. Rakshit, Manjur Hossain
semanticscholar   +1 more source

On the proof theory of the intermediate logic MH

Journal of Symbolic Logic (JSL), 1986
J. Seldin
semanticscholar   +1 more source

On logics intermediate between intuitionistic and classical predicate logic

Journal of Symbolic Logic, 1959
In [1] and [2] I investigated logics intermediate between intuitionistic and classical propositional logic. In the present paper I shall study inclusion and non-inclusion between certain intermediate predicate logics. All the logics considered result from intuitionistic predicate logic by addition of classically valid axiom schemes.
openaire   +1 more source

Syllogisms and 5-Square of Opposition with Intermediate Quantifiers in Fuzzy Natural Logic

Logica Universalis, 2016
Petra Murinová, V. Novák
semanticscholar   +1 more source

Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency

Outstanding Contributions to Logic, 2021
M. Coniglio, F. Esteva, Joan Gispert, L. Godo   +3 more
semanticscholar   +1 more source

Gallium nitride-based complementary logic integrated circuits

Nature Electronics, 2021
Zheyang Zheng, Li Zhang, Han Xu
exaly