scientific article; zbMATH DE number 3784831
From MaRDI portal
Publication:3962956
Cited in
(25)- Using forcing to prove completeness of resolution and paramodulation
- Belief revision in the service of scientific discovery
- A set-theoretic translation method for polymodal logics
- Ontologically neutral logic
- Paraconsistent intelligent systems of computer logics
- A comment on the joint embedding property
- A logical expression of reasoning
- Closed world assumptions having precedence in predicates
- On diffeomorphic mappings of one nondegenerate parallelepiped onto another
- Control problems in a temporal logic framework
- Carnapian extensions of S5
- AN APPLICATION OF FIRST-ORDER LOGIC TO THE STUDY OF RECOGNIZABLE LANGUAGES
- Isotypeness of models and knowledge bases equivalence
- Internal set theory: A new approach to nonstandard analysis
- On the recognition of the tautological nature of propositional formulas
- A generalised model of judgment aggregation
- An alternative construction of Conway's ordered field No
- Mathematical properties common in all mechanism models of chemical reactions
- Errata to ``An alternative construction of Conway's ordered field No.
- Herbrand semantics, the potential infinite, and ontology-free logic
- The decision problem for effective procedures
- A finitely axiomatized formalization of predicate calculus with equality
- A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic
- Some quantifiers require two-predicate scopes
- Algebraic study of Sette's maximal paraconsistent logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3962956)
