Results 221 to 230 of about 3,184,608 (250)

Topologies for intermediate logics

Mathematical Logic Quarterly, 2012
We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan topologies on an ...
Olivia Caramello
semanticscholar   +2 more sources

One-variable fragments of intermediate logics over linear frames [PDF]

Information and Computation, 2022
A correspondence is established between one-variable fragments of (first-order) intermediate logics defined over a fixed countable linear frame and Gödel modal logics defined over many-valued equivalence relations with values in a closed subset of the ...
George Metcalfe
exaly   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Admissibility and refutation: some characterisations of intermediate logics

Archive for Mathematical Logic, 2014
Jeroen Paul Goudsmit
exaly   +2 more sources

On the rules of intermediate logics

Archive for Mathematical Logic, 2006
Rosalie Iemhoff
exaly   +2 more sources

Unification types and union splittings in intermediate logics

Annals of Pure and Applied Logic, 2022
Following a characterization [10] of locally tabular logics with finitary (or unitary) unification by their Kripke models we determine the unification types of some intermediate logics (extensions of {\sf INT}). There are exactly four maximal logics with
Wojciech Dzik, Sławomir Kost, P. Wojtylak   +2 more
semanticscholar   +1 more source

Interpolation for intermediate logics via injective nested sequents

Journal of Logic and Computation, 2021
We introduce a novel, semantically inspired method of constructing nested sequent calculi for propositional intermediate logics. Applying recently developed methods for proving Craig interpolation to these nested sequent calculi, we obtain constructive
Roman Kuznets, Björn Lellmann
semanticscholar   +1 more source

On maximal intermediate logics with the disjunction property

Studia Logica, 1986
L. Maksimova
exaly   +2 more sources

On maximal intermediate predicate constructive logics [PDF]

Studia Logica, 1996
We extend to the predicate frame a previous characterization of the maximal intermediate propositional constructive logics. This provides a technique to get maximal intermediate predicate constructive logics starting from suitable sets of classically ...
Alessandro Avellone, Camillo Fiorentini, Pierangelo Miglioli   +2 more
exaly   +2 more sources

Lyndon interpolation property for extensions of S4 and intermediate propositional logics

Journal of Symbolic Logic (JSL)
We study the Lyndon interpolation property (LIP) and the uniform Lyndon interpolation property (ULIP) for extensions of $\mathbf{S4}$ and intermediate propositional logics.
Taishi Kurahashi
semanticscholar   +1 more source

Jankov Formulas and Axiomatization Techniques for Intermediate Logics

Outstanding Contributions To Logic, 2022
Nick Bezhanishvili, Guram Bezhanishvili
exaly