The following pages link to (Q4182465):
Displayed 6 items.
- Implication of clauses is undecidable (Q1110493) (← links)
- Combinations of tense and modality for predicate logic (Q1303794) (← links)
- Accelerating tableaux proofs using compact representations (Q1334905) (← links)
- A feature-based syntax/semantics interface (Q1353901) (← links)
- A clonoid based approach to some finiteness results in universal algebraic geometry (Q1987546) (← links)
- Maximale monadische Logiken (Q3735696) (← links)