Pages that link to "Item:Q5176676"
From MaRDI portal
The following pages link to Finitely many-valued logics and natural deduction (Q5176676):
Displaying 18 items.
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- Number of extensions of non-Fregean logics (Q815015) (← links)
- Correspondence analysis for some fragments of classical propositional logic (Q828774) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Optimal axiomatizations of finitely valued logics (Q1854378) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- Duality in finite many-valued logics (Q2534158) (← links)
- (Q3328518) (← links)
- ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION (Q3342528) (← links)
- Natural deduction for the finite least fixed point logic with an infinitary rule (Q3644843) (← links)
- (Q3731578) (← links)
- Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232) (← links)
- R n - and G n -logics (Q4645806) (← links)
- Natural deduction for three-valued regular logics (Q4683206) (← links)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- (Q5013887) (← links)
- (Q5411486) (← links)