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