Continuum classes of logics
From MaRDI portal
Recommendations
- On the existence of continua of logics between some intermediate predicate logics
- Constructing a continuum of predicate extensions of each intermediate propositional logic
- scientific article; zbMATH DE number 3873298
- Counting the maximal intermediate constructive logics
- The lattice of extensions of the modal logic of two equivalence relations has the cardinality of the continuum
Cited in
(10)- Continuity, proof systems and the theory of transfinite computations
- Constructing a continuum of predicate extensions of each intermediate propositional logic
- On the existence of continua of logics between some intermediate predicate logics
- The lattice of extensions of the modal logic of two equivalence relations has the cardinality of the continuum
- Continuous logic. I: Basic concepts
- Logics of infinite depth
- Some covering properties in semantic method of continuous valued logic
- scientific article; zbMATH DE number 7184880 (Why is no real title available?)
- On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\)
- Continuously-valued logic: Generalizations and applications. I
This page was built for publication: Continuum classes of logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3535111)
