The many valued and nonmonotonic turn in logic
From MaRDI portal
Publication:2433862
Collections of articles of miscellaneous specific interest (00B15) History of mathematics in the 20th century (01A60) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) History of mathematical logic and foundations (03-03)
Recommendations
Cited in
(44)- Stone-type representations and dualities for varieties of bisemilattices
- The legacy of 50 years of fuzzy sets: a discussion
- Regularized gap functions and error bounds for generalized mixed weak vector quasivariational inequality problems in fuzzy environments
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
- Non-monotonic logic and the compatibility of science and religion
- A tableaux calculus for default intuitionistic logic
- Swyneshed, Aristotle and the rule of contradictory pairs
- Submeasures on nuanced MV-algebras.
- Logic tensor networks
- The Possibility and Fruitfulness of a Debate on the Principle of Non-contradiction
- Principles of Talmudic logic
- A model-theoretic analysis of Fidel-structures for mbC
- A discussion on the origin of quantum probabilities
- Gradualness, uncertainty and bipolarity: making sense of fuzzy sets
- Interpolation of fuzzy data: analytical approach and overview
- Measuring inconsistency in information
- On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- scientific article; zbMATH DE number 2101973 (Why is no real title available?)
- An algebraic approach for action based default reasoning
- The peripatetic program in categorical logic: Leibniz on propositional terms
- The emergence of fuzzy sets: a historical perspective
- Towards a Bayesian theory of second-order uncertainty: lessons from non-standard logics
- lfl: an R package for linguistic fuzzy logic
- Sequent-type rejection systems for finite-valued non-deterministic logics
- Conjunctive paraconsistency
- Non-monotonic reasoning via dynamic consequence
- Many-valued logic and sequence arguments in value theory
- \textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics
- Some problems concerning axiom systems for finitely many-valued propositional logics
- On the transitivity of logical consequence without assuming monotonicity
- Hegel’s Interpretation of the Liar Paradox
- A Pragmatic-Semiotic Defence of Bivalence
- On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz
- On semi-continuity and continuity of solution maps of parametric generalized multiobjective games in fuzzy environments
- Different negations and fuzziness in web resources and resource description and their mathematical foundation
- Paraconsistent relations as a variant of Kleene algebras
- Paraconsistency in non-Fregean framework
- Expanding logical space; making room for Islamic theological contradictions
- Quantum logic
- A prudent logic of partial functions
- A paraconsistent conditional logic
- Semantics for dual preferential entailment
- Philosophy of logic
This page was built for publication: The many valued and nonmonotonic turn in logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2433862)
