scientific article; zbMATH DE number 3841822

MaRDI QIDQ3312202zbMATH OpenFDO

Authors Ettore Casari

Publication date 1983

zbMATH Keywords

intermediate logicsintermediate predicate logicsintermediate propositional logicintuitionistic logicminimal logicnegation-free logicsnegative logicspositive logicrelational semantics

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 3873298
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• scientific article; zbMATH DE number 4004159
• scientific article; zbMATH DE number 3880661
• Completeness theorems for some intermediate predicate calculi

Cited in

(31)

• Independence in higher-order subclassical logic
• Some syntactical properties of intermediate predicate logics
• A study of intermediate propositional logics on the third slice
• Logics of some Kripke frames connected with Medvedev notion of informational types
• On the existence of continua of logics between some intermediate predicate logics
• On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem
• On the rules of intermediate logics
• Reflexive intermediate propositional logics
• Topologies for intermediate logics
• Jankov's theorems for intermediate logics in the setting of universal models
• scientific article; zbMATH DE number 4174902 (Why is no real title available?)
• A note on some intermediate propositional calculi
• scientific article; zbMATH DE number 3867294 (Why is no real title available?)
• scientific article; zbMATH DE number 3873298 (Why is no real title available?)
• Positive formulas in intuitionistic and minimal logic
• scientific article; zbMATH DE number 3963799 (Why is no real title available?)
• scientific article; zbMATH DE number 4004159 (Why is no real title available?)
• On the proof theory of the intermediate logic MH
• scientific article; zbMATH DE number 4043820 (Why is no real title available?)
• scientific article; zbMATH DE number 4081505 (Why is no real title available?)
• scientific article; zbMATH DE number 4095435 (Why is no real title available?)
• scientific article; zbMATH DE number 4106814 (Why is no real title available?)
• Intermediate predicate logics determined by ordinals
• scientific article; zbMATH DE number 20761 (Why is no real title available?)
• scientific article; zbMATH DE number 496043 (Why is no real title available?)
• Generalized tableau systems for intermediate propositional logics
• Intermediate logics and categories
• scientific article; zbMATH DE number 6163273 (Why is no real title available?)
• Completeness of intermediate logics with doubly negated axioms
• Lattices of Intermediate Theories via Ruitenburg's Theorem
• Bounded inquisitive logics: sequent calculi and schematic validity

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3312202)