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