scientific article; zbMATH DE number 193626
From MaRDI portal
Publication:4040429
Recommendations
Cited in
(28)- F-propositional calculus and a kind of F-control model on the basis of complemented t-norm
- From formal logic to statistical mechanics
- Completeness of temporal logics over infinite intervals.
- Three dual ontologies
- A finitely axiomatized formalization of predicate calculus with equality
- Completeness and normal form of multi-valued logical functions
- On adequate sets of multi-valued logic
- Intrinsic, extrinsic, and the constitutive a priori
- On networks over finite rings
- A quantitative approach to reasoning about incomplete knowledge
- scientific article; zbMATH DE number 1818024 (Why is no real title available?)
- scientific article; zbMATH DE number 3885853 (Why is no real title available?)
- scientific article; zbMATH DE number 3115104 (Why is no real title available?)
- Introduction to mathematical logic. A textbook
- Logic and logic-based control
- On the logic of theory change: Partial meet contraction and revision functions
- scientific article; zbMATH DE number 46543 (Why is no real title available?)
- scientific article; zbMATH DE number 108465 (Why is no real title available?)
- The sound and complete R-calculus for revising propositional theories
- Dynamic reasoning systems
- A new-old characterisation of logical knowledge
- A concise introduction to mathematical logic
- Logic and structure.
- Layman's probability theory: A calculus for reasoning with linguistic likelihood
- Belief revision with satisfaction measure
- Physicalism without the idols of mathematics
- Decidability questions for a ring of Laurent polynomials
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
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 Q4040429)
