Pages that link to "Item:Q5950711"
From MaRDI portal
The following pages link to Leibniz filters and the strong version of a protoalgebraic logic (Q5950711):
Displaying 16 items.
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- Fregean logics (Q598302) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← links)
- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Q4586413) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- The Infinite-Valued Łukasiewicz Logic and Probability (Q4608554) (← links)
