The following pages link to (Q4342088):
Displaying 9 items.
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- Experimenting with Isabelle in ZF set theory (Q1312157) (← links)
- The saturated tableaux for linear miniscope Horn-like temporal logic (Q1344880) (← links)
- Natural deduction based upon strict implication for normal modal logics (Q1903127) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
- Semantic values for natural deduction derivations (Q2500822) (← links)
- Direct deductive computation on discourse representation structures (Q4312345) (← links)
- Logical string rewriting (Q5941560) (← links)
