scientific article; zbMATH DE number 4114587
From MaRDI portal
Publication:4729754
zbMATH Open0681.03001MaRDI QIDQ4729754FDOQ4729754
Authors: Elliott Mendelson 
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
- Mathematical logic. An introduction (to appear)
- scientific article; zbMATH DE number 1746885
- Introduction to mathematical logic. A textbook
- scientific article; zbMATH DE number 3316009
- scientific article; zbMATH DE number 1257634
- scientific article; zbMATH DE number 1950433
- scientific article; zbMATH DE number 3304881
- Introduction to mathematical logic
- Introduction to mathematical logic
- scientific article; zbMATH DE number 930362
Cited In (43)
- Title not available (Why is that?)
- Effective computation of immersion obstructions for unions of graph classes
- A Variant of Material Connexive Logic
- An Arithmetically Complete Predicate Modal Logic
- The quantifier structure of sentences that characterize nondeterministic time complexity
- \textsf{LOGIC}: a Coq library for logics
- Semantic paradoxes as equations.
- Computability and Logic
- Extensions for open default theories via the domain closure assumption
- Proof systems for structured algebraic specifications: An overview
- From Inconsistency to Incompatibility
- Dynamic reasoning systems
- Nonmonotonicity in the framework of parametric logic
- Pair-Dense Relation Algebras
- Defining the meaning of tabular mathematical expressions
- Languages with self-reference. II: Knowledge, belief, and modality
- The completeness of functional logic
- Title not available (Why is that?)
- Minimal bases of temporal attribute implications
- Monoidal functional dependencies
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
- A program logic for fresh name generation
- A comparative study of open default theories
- Undecidability and incompleteness in classical mechanics
- A functional logic for higher level reasoning about computation
- On S
- Game logic and its applications. I
- On the proof-theory of two formalisations of modal first-order logic
- Title not available (Why is that?)
- Sets and plural comprehension
- Relational division in rank-aware databases
- Turning decision procedures into disprovers
- Title not available (Why is that?)
- A fuzzy logic with interval truth values
- Why mathematics needs engineering
- A single proof of classical behaviour in da Costa's \(C_n\) systems
- Issues in commonsense set theory
- Weakening and extending \(\mathbb{Z}\)
- Keeping logic in the trivium of computer science: a teaching perspective
- An application of paraconsistent logic to physics: complementarity
- Revisiting \(\mathbb Z\)
- The elimination of \textit{de re} formulas
- Fuzzy logic programming reduced to reasoning with attribute implications
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 Q4729754)
