Pages that link to "Item:Q5606564"
From MaRDI portal
The following pages link to Some remarks on the consequence operation in sentential logics (Q5606564):
Displayed 28 items.
- What is relevance logic? (Q392272) (← links)
- Synchronized linear-time temporal logic (Q647400) (← links)
- Logic, formal methodology and semantics in works of Ryszard Wójcicki (Q647407) (← links)
- Interpolation and definability over the logic Gl (Q647415) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Logical matrices and non-structural consequence operators (Q792325) (← links)
- That SCI has the interpolation property (Q800345) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Multi-valued semantics: why and how (Q1037597) (← links)
- On the degree of complexity of sentential logics. II: An example of the logic with semi-negation (Q1061118) (← links)
- On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic (Q1097873) (← links)
- Synonymy in sentential languages: A pragmatic view (Q1123885) (← links)
- The degrees of maximality of the intuitionistic propositional logic and of some of its fragments (Q1159192) (← links)
- The lattice of strengthenings of a strongly finite consequence operation (Q1161517) (← links)
- On the degree of complexity of sentential logics. A couple of examples (Q1163542) (← links)
- The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness (Q1214909) (← links)
- Matrix approach in methodology of sentential calculi (Q1229698) (← links)
- Connections between some notions of completeness of structural propositional calculi (Q1233021) (← links)
- On three-valued implicative systems (Q1253653) (← links)
- The existence of matrices strongly adequate for E, R and their fragments (Q1259580) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Finite two-dimensional proof systems for non-finitely axiomatizable logics (Q2104551) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- An Inferentially Many-Valued Two-Dimensional Notion of Entailment (Q4576064) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- Неклассический взгляд на природу значений истинности (Q5882766) (← links)
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) (Q6043014) (← links)