Results 241 to 250 of about 3,184,608 (250)
Some of the next articles are maybe not open access.
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
Journal of Logic and Computation, 2001A. Ciabattoni
semanticscholar +1 more source
On Harrop disjunction property in intermediate predicate logics
Archive for Mathematical Logic, 2023exaly
On Extensions of Intermediate Logics by Strong Negation
Journal of Philosophical Logic, 1998Marcus Kracht
exaly
Generalized tableau systems for intermediate propositional logics
Lecture Notes in Computer Science, 2005Alessandro Avellone +2 more
exaly
Unification types and union splittings in intermediate logics
Annals of Pure and Applied LogicSławomir Kost, Wojciech Dzik
exaly
Tabular Intermediate Logics Comparison
Lecture Notes in Computer ScienceMichal M Stronkowski, Paweł Rzążewski
exaly
On the Existence of Continua of Logics Between Some Intermediate Predicate Logics
Studia Logica, 2000exaly
On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees
Studia Logica, 2004exaly