scientific article; zbMATH DE number 3873298
From MaRDI portal
Publication:3340837
Recommendations
Cited in
(50)- Frame based formulas for intermediate logics
- Reflexive intermediate first-order logics
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic
- Ordered sets R and Q as bases of Kripke models
- The disjunction property of intermediate propositional logics
- The Gentzen-Kripke construction of the intermediate logic LQ
- Modal companions of intermediate propositional logics
- A study of intermediate propositional logics on the third slice
- On extensions of intermediate logics by strong negation
- Logics of some Kripke frames connected with Medvedev notion of informational types
- On the concurrent computational content of intermediate 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
- The structure of generalized intermediate syllogisms
- On Löb algebras. II
- Topologies for intermediate logics
- A note on some intermediate propositional calculi
- scientific article; zbMATH DE number 3841822 (Why is no real title available?)
- scientific article; zbMATH DE number 3867294 (Why is no real title available?)
- scientific article; zbMATH DE number 3880661 (Why is no real title available?)
- Diagram Construction in Intuitionistic Logic
- scientific article; zbMATH DE number 4142009 (Why is no real title available?)
- scientific article; zbMATH DE number 4143949 (Why is no real title available?)
- Continuum classes of logics
- On a Method of Axiomatization of Some Propositional Calculi
- scientific article; zbMATH DE number 3963799 (Why is no real title available?)
- scientific article; zbMATH DE number 4004159 (Why is no real title available?)
- scientific article; zbMATH DE number 4010498 (Why is no real title available?)
- scientific article; zbMATH DE number 4043820 (Why is no real title available?)
- scientific article; zbMATH DE number 4051564 (Why is no real title available?)
- Finite and finitely separable intermediate propositional logics
- scientific article; zbMATH DE number 4106814 (Why is no real title available?)
- scientific article; zbMATH DE number 20761 (Why is no real title available?)
- A formal theory of generalized intermediate syllogisms
- Remark on a finite axiomatization of finite intermediate propositional logics
- Axiomatization of intuitionistic logics defined by small frames
- Generalized tableau systems for intermediate propositional logics
- On the Independent Axiomatizability of Modal and Intermediate Logics
- scientific article; zbMATH DE number 937394 (Why is no real title available?)
- Intermediate logics and categories
- scientific article; zbMATH DE number 6163273 (Why is no real title available?)
- Esakia duality and its extensions
- scientific article; zbMATH DE number 269844 (Why is no real title available?)
- Some preservation theorems in an intermediate logic
- Some results on intermediate constructive logics
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Intermediate logics and the de Jongh property
- MacNeille completions of FL-algebras
- Proof analysis in intermediate logics
- Intermediate logics and factors of the Medvedev lattice
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 Q3340837)
