Introduction to a general theory of elementary propositions.
From MaRDI portal
Cited in
(23)- On some classes of formulas in S5 which are pre-complete relative to existential expressibility
- On principles of emergent organization
- \(S\)-preclones and the Galois connection \(^S\mathrm{Pol} - {^S\mathrm{Inv}}\). I.
- On two intervals in the lattice of partial ultraclones of rank 2
- On positive completeness and positively closed sets of multifunctions of rank 2
- On submaximal ultraclones of self-dual hyperfunctions of rank 2
- Turnstile figures of opposition
- On three-valued presentations of classical logic
- Three-valued generalizations of classical logic in weak languages: the degree of maximality
- The Expressive Power of theN-Operator and the Decidability of Logic in Wittgenstein’sTractatus
- Cyclic negations and four-valuedness
- Wittgenstein, Probability and Supraclassical Logics
- Mutual generation of the choice and majority functions
- Safety-critical control of discontinuous systems with nonsmooth safe sets
- Entailing generalization boosts enumeration
- Craig's interpolation theorem for logic with the Ruet operator
- On an SI^*-interval of rank-2 multioperations
- Another view of BZ-algebras
- The completeness theorem? So what!
- On n-valued Post algebras and n-valued Post logics: twist-style representation and proof theory
- Analyticity with extra-logical information
- Invariant and dual-invariant subspaces of k-valued networks
- A note on the expressive completeness of LP in a metatheory without negation
This page was built for publication: Introduction to a general theory of elementary propositions.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1463929)
