Pages that link to "Item:Q2626580"
From MaRDI portal
The following pages link to Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations (Q2626580):
Displaying 13 items.
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- A survey of deduction theorems for the propositional calculi (Q1211481) (← links)
- The deduction theorem for Lukasiewicz many-valued propositional calculi (Q1211488) (← links)
- On certain connections between consequence, inconsistency and completeness (Q1212455) (← links)
- Some remarks on the concept of completeness of the propositional calculus. I (Q1219263) (← links)
- Matrix approach in methodology of sentential calculi (Q1229698) (← links)
- On finitely based consequence operations (Q1245930) (← links)
- The theory of rejected propositions. II (Q1843431) (← links)
- When is a schema not a schema? On a remark by Suszko (Q2307299) (← links)
- Some theorems on abstract logics (Q2548597) (← links)
- Theory of rejected propositions. I (Q2557697) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- Note on deducibility and many-valuedness (Q4099604) (← links)
