scientific article; zbMATH DE number 2024625
From MaRDI portal
Publication:4443201
zbMATH Open1037.03055MaRDI QIDQ4443201FDOQ4443201
Authors: Eugeniusz Tomaszewski
Publication date: 2002
Title of this publication is not available (Why is that?)
Recommendations
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Jankov's theorems for intermediate logics in the setting of universal models
- Remark on a finite axiomatization of finite intermediate propositional logics
- scientific article; zbMATH DE number 3957059
- scientific article; zbMATH DE number 937394
- On finite linear intermediate predicate logics
- scientific article; zbMATH DE number 4120150
- Finite and finitely separable intermediate propositional logics
- On the search for a finitizable algebraization of first order logic
- Jauch-Piron logics with finiteness conditions
Intermediate logics (03B55) Equational classes, universal algebra in model theory (03C05) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20)
Cited In (7)
- Yankov Characteristic Formulas (An Algebraic Account)
- Title not available (Why is that?)
- Characteristic formulas over intermediate logics
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Jankov-style formulas and refutation systems
- Characteristic formulas of partial Heyting algebras
- Remark on a finite axiomatization of finite intermediate propositional logics
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 Q4443201)