The following pages link to (Q3962956):
Displaying 25 items.
- A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic (Q266237) (← links)
- Using forcing to prove completeness of resolution and paramodulation (Q757093) (← links)
- A logical expression of reasoning (Q885515) (← links)
- Closed world assumptions having precedence in predicates (Q922726) (← links)
- Carnapian extensions of S5 (Q1066883) (← links)
- Some quantifiers require two-predicate scopes (Q1090330) (← links)
- An alternative construction of Conway's ordered field No (Q1102272) (← links)
- Mathematical properties common in all mechanism models of chemical reactions (Q1107475) (← links)
- Errata to ``An alternative construction of Conway's ordered field No.'' (Q1108261) (← links)
- On the recognition of the tautological nature of propositional formulas (Q1154812) (← links)
- Belief revision in the service of scientific discovery (Q1296384) (← links)
- Algebraic study of Sette's maximal paraconsistent logic (Q1344874) (← links)
- A set-theoretic translation method for polymodal logics (Q1904398) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- Isotypeness of models and knowledge bases equivalence (Q2254092) (← links)
- A comment on the joint embedding property (Q2563954) (← links)
- A generalised model of judgment aggregation (Q2642555) (← links)
- On diffeomorphic mappings of one nondegenerate parallelepiped onto another (Q2662934) (← links)
- Control problems in a temporal logic framework (Q3745691) (← links)
- Herbrand semantics, the potential infinite, and ontology-free logic (Q3990954) (← links)
- Paraconsistent intelligent systems of computer logics (Q4007390) (← links)
- Internal set theory: A new approach to nonstandard analysis (Q4149449) (← links)
- Ontologically neutral logic (Q4391352) (← links)
- AN APPLICATION OF FIRST-ORDER LOGIC TO THE STUDY OF RECOGNIZABLE LANGUAGES (Q4658712) (← links)
- The decision problem for effective procedures (Q6113688) (← links)
