scientific article; zbMATH DE number 3124827
From MaRDI portal
Publication:3240239
zbMATH Open0075.00702MaRDI QIDQ3240239FDOQ3240239
Publication date: 1956
Title of this publication is not available (Why is that?)
Cited In (84)
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Nonmonotonic reasoning with multiple belief sets
- Aristotle'sPrior Analyticsand Boole'sLaws of Thought
- Compatibility, desirability, and the running intersection property
- Annotated revision programs
- Jump liars and Jourdain's card via the relativized T-scheme
- Combinatorial systems. I: Cylindrical problems
- Normal forms for connectedness in categories
- Consequence mining. Constants versus consequence relations
- Nonclassical mereology and its application to sets
- Independence-friendly logic and axiomatic set theory
- A semantic hierarchy for intuitionistic logic
- Properties of goal systems: Consistency, conflict, and coherence
- Nonmonotonic reasoning, preferential models and cumulative logics
- Did Descartes make a diagonal argument?
- Connecting fuzzy preorders, fuzzy consequence operators and fuzzy closure and co-closure systems
- Compactness theorems of fuzzy semantics
- Contraction in propositional logic
- What is the world of mathematics?
- Developing bounded reasoning
- Varieties of self-reference in metamathematics
- Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
- An algebraic synthesis of the foundations of logic and probability
- The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic
- Special relations for formulae, their equivalence relations and theories
- Mereological relations
- Mathematical modal logic: A view of its evolution
- Filter quotients and non-presentable \((\infty,1)\)-toposes
- On nonmonotonic consequence relations
- CHOICE-FREE STONE DUALITY
- Gödel on Tarski
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Experiments in the heuristic use of past proof experience
- CODE: A powerful prover for problems of condensed detachment
- Distributing equational theorem proving
- Exhibiting interpretational and representational validity
- On exhibiting representational validity
- Interpretation of De Finetti coherence criterion in Łukasiewicz logic
- The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
- A simplified formalization of predicate logic with identity
- Proof-theoretic pluralism
- The semantics of induction and the possibility of complete systems of inductive inference
- Emigration of mathematicians from outside German-speaking academia 1933-1963, supported by the society for the protection of science and learning
- Basis logic for application in physics and its intuitionistic alternative
- An alternative propositional calculus for application to empirical sciences
- Ray on Tarski on logical consequence
- Trust is all you need: from belief revision to information revision
- Fragments of Many-Valued Statement Calculi
- The neglect of epistemic considerations in logic: the case of epistemic assumptions
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems
- Dag Prawitz on proofs, operations and grounding
- Norms of truth and logical revision
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- On \(n \times m\)-valued Łukasiewicz-Moisil algebras
- Proofs as schemas and their heuristic use
- Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras
- Probability and time
- Generalized partial meet and kernel contractions
- Introduction. The School: Its Genesis, Development and Significance
- The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper
- Representing and Reasoning About Arguments Mined from Texts and Dialogues
- On consequence and rejection as operators
- Tarski's theory of the formal correctness of definitions
- Logic Discovered and Logic Imposed (A Purim Story)
- Metalogic, Schopenhauer and Universal Logic
- Levi and Harper identities for non-prioritized belief base change
- Universal Logic or Logics in Resemblance Families
- Algebra as a semiotic modeling system
- AUTOLOGY OF TIME*
- Generalized compactness of nonmonotonic inference operations
- Consequence Relations with Real Truth Values
- Universality of Logic
- Substitutional validity for modal logic
- Comments on the Contributions
- Three roads to complete lattices: orders, compatibility, polarity
- On the transitivity of logical consequence without assuming monotonicity
- THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS
- Ontological pluralism and multi-quantificational ontology
- REMARKS ON THEORIES OF COMPUTATION AND SEMANTICS OF PROGRAMMING LANGUAGES
- Deep fried logic
- Topological models of columnar vagueness
- The substitutional analysis of logical consequence
- Truth: a concept unlike any other
- Establishing logical forms. What is assigned to what, how and why
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 Q3240239)
