The following pages link to (Q4729754):
Displaying 38 items.
- Effective computation of immersion obstructions for unions of graph classes (Q395009) (← links)
- Sets and plural comprehension (Q484118) (← links)
- Weakening and extending \(\mathbb{Z}\) (Q497880) (← links)
- Fuzzy logic programming reduced to reasoning with attribute implications (Q529051) (← links)
- On the proof-theory of two formalisations of modal first-order logic (Q622627) (← links)
- Minimal bases of temporal attribute implications (Q722104) (← links)
- Defining the meaning of tabular mathematical expressions (Q988184) (← links)
- Languages with self-reference. II: Knowledge, belief, and modality (Q1101099) (← links)
- Undecidability and incompleteness in classical mechanics (Q1176394) (← links)
- The quantifier structure of sentences that characterize nondeterministic time complexity (Q1198956) (← links)
- On S (Q1317902) (← links)
- A functional logic for higher level reasoning about computation (Q1318281) (← links)
- The completeness of functional logic (Q1318282) (← links)
- Issues in commonsense set theory (Q1346620) (← links)
- The elimination of \textit{de re} formulas (Q1368754) (← links)
- A fuzzy logic with interval truth values (Q1568481) (← links)
- Keeping logic in the trivium of computer science: a teaching perspective (Q1696593) (← links)
- A comparative study of open default theories (Q1855239) (← links)
- Nonmonotonicity in the framework of parametric logic (Q2009771) (← links)
- A program logic for fresh name generation (Q2145263) (← links)
- Relational division in rank-aware databases (Q2282883) (← links)
- Monoidal functional dependencies (Q2353408) (← links)
- Why mathematics needs engineering (Q2374304) (← links)
- Revisiting \(\mathbb Z\) (Q2443124) (← links)
- A single proof of classical behaviour in da Costa's \(C_n\) systems (Q2520656) (← links)
- Game logic and its applications. I (Q2563453) (← links)
- (Q3317075) (← links)
- (Q3845365) (← links)
- Pair-Dense Relation Algebras (Q3985845) (← links)
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC <b>QCIORE</b> (Q5001546) (← links)
- (Q5020646) (← links)
- Proof systems for structured algebraic specifications: An overview (Q5055918) (← links)
- An Application of Paraconsistent Logic to Physics: Complementarity (Q5213769) (← links)
- Extensions for open default theories via the domain closure assumption (Q5236446) (← links)
- Dynamic Reasoning Systems (Q5277897) (← links)
- Turning decision procedures into disprovers (Q5505144) (← links)
- Semantic paradoxes as equations. (Q5949280) (← links)
- From Inconsistency to Incompatibility (Q6107289) (← links)
