scientific article; zbMATH DE number 3124827

Cited in

(only showing first 100 items - show all)

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

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)