Semantical analysis of superrelevant predicate logics with quantification
From MaRDI portal
Publication:1109761
Recommendations
- scientific article; zbMATH DE number 1354010
- On algebraisation of superintuitionistic predicate logics
- scientific article; zbMATH DE number 3906478
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
- scientific article; zbMATH DE number 795162
- An alternative semantics for quantified relevant logic
- Syntax and semantics of superintuitionistic logics
- An admissible semantics for propositionally quantified relevant logics
- scientific article; zbMATH DE number 2062214
- scientific article; zbMATH DE number 4021104
Cited in
(4)
This page was built for publication: Semantical analysis of superrelevant predicate logics with quantification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1109761)