scientific article; zbMATH DE number 3124827

Cited in

(only showing first 100 items - show all)

Developing bounded reasoning
Jump liars and Jourdain's card via the relativized T-scheme
Interpretation of De Finetti coherence criterion in Łukasiewicz logic
An algebraic synthesis of the foundations of logic and probability
Nonmonotonic reasoning, preferential models and cumulative logics
Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
Mereological relations
Connecting fuzzy preorders, fuzzy consequence operators and fuzzy closure and co-closure systems
Mathematical modal logic: A view of its evolution
The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
Compactness theorems of fuzzy semantics
Nonclassical mereology and its application to sets
Proofs as schemas and their heuristic use
Annotated revision programs
Norms of truth and logical revision
A semantic hierarchy for intuitionistic logic
Ray on Tarski on logical consequence
Compatibility, desirability, and the running intersection property
Filter quotients and non-presentable \((\infty,1)\)-toposes
On nonmonotonic consequence relations
Trust is all you need: from belief revision to information revision
Did Descartes make a diagonal argument?
Special relations for formulae, their equivalence relations and theories
Relation algebras of Sugihara, Belnap, Meyer, and Church
Dag Prawitz on proofs, operations and grounding
The neglect of epistemic considerations in logic: the case of epistemic assumptions
Contraction in propositional logic
Probability and time
Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras
The semantics of induction and the possibility of complete systems of inductive inference
Combinatorial systems. I: Cylindrical problems
Three roads to complete lattices: orders, compatibility, polarity
Truth: a concept unlike any other
Fragments of Many-Valued Statement Calculi
Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
Representing and reasoning about arguments mined from texts and dialogues
AUTOLOGY OF TIME*
REMARKS ON THEORIES OF COMPUTATION AND SEMANTICS OF PROGRAMMING LANGUAGES
Aristotle'sPrior Analyticsand Boole'sLaws of Thought
Universality of logic
Introduction. The school: its genesis, development and significance
The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
Nonmonotonic reasoning with multiple belief sets
Experiments in the heuristic use of past proof experience
Generalized compactness of nonmonotonic inference operations
Exhibiting interpretational and representational validity
Consequence Relations with Real Truth Values
Comments on the Contributions
Distributing equational theorem proving
Choice-free Stone duality
INCOMPLETENESS VIA PARADOX AND COMPLETENESS
Metalogic, Schopenhauer and universal logic
On exhibiting representational validity
The peripatetic program in categorical logic: Leibniz on propositional terms
CODE: A powerful prover for problems of condensed detachment
COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
Universal logic or logics in resemblance families
Basis logic for application in physics and its intuitionistic alternative
A simplified formalization of predicate logic with identity
Normal forms for connectedness in categories
What is the world of mathematics?
Independence-friendly logic and axiomatic set theory
Gödel on Tarski
Proof-theoretic pluralism
An alternative propositional calculus for application to empirical sciences
On consequence and rejection as operators
Tarski's theory of the formal correctness of definitions
Logic Discovered and Logic Imposed (A Purim Story)
Levi and Harper identities for non-prioritized belief base change
Varieties of self-reference in metamathematics
Substitutional validity for modal logic
The substitutional analysis of logical consequence
Establishing logical forms. What is assigned to what, how and why
Generalized partial meet and kernel contractions
Emigration of mathematicians from outside German-speaking academia 1933-1963, supported by the society for the protection of science and learning
Algebra as a semiotic modeling system
On the transitivity of logical consequence without assuming monotonicity
Ontological pluralism and multi-quantificational ontology
Deep fried logic
Topological models of columnar vagueness
On the Year of Publication of Tarski's ‘Der Wahrheitsbegriff in den formalisierten Sprachen’
Universalism and extensionalism revisited
Conditionals, curry, and consequence: embracing deduction
Conditional expressivity and collective deontic admissibility
A categorical approach to DIBI models
Truth, preservation of truth and semantic paradoxes
The family of ambiguity logics
AGM belief revision, semantically
Karl Popper on deduction
Modular sequent calculi for interpretability logics
Consequence mining. Constants versus consequence relations
Truth in Russell, early Wittgenstein and Gödel
Quasivarieties of Wajsberg hoops
Logic and biology: the correspondence between Alfred Tarski and Joseph H. Woodger
Dynamical phenomena and their models: truth and empirical correctness
Meet-combination of consequence systems
A model theory of topology
The ideal of unity of science tested against the liar
Searching for deep disagreement in logic: the case of dialetheism
Non-foundationalist frameworks for logical metainferentialism

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)