scientific article; zbMATH DE number 3099236
From MaRDI portal
Publication:5839916
zbMath0061.00709MaRDI QIDQ5839916
Publication date: 1943
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
LOGICALITY AND MODEL CLASSES ⋮ An expressivist bilateral meaning-is-use analysis of classical propositional logic ⋮ Logic reduced to bare (proof-theoretical) bones ⋮ Deductive systems with unified multiple-conclusion rules ⋮ Generalized Entailments ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Classes of valuations closed under operations Galois-dual to Boolean sentence connectives ⋮ Revisiting Quine on truth by convention ⋮ CARNAP’S PROBLEM FOR MODAL LOGIC ⋮ What is a logical theory? On theories containing assertions and denials ⋮ Knot is not that nasty (but it is hardier than tonk) ⋮ Eliminating disjunctions by disjunction elimination ⋮ Two traditions in abstract valuational model theory ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ Unified deductive systems: an outline ⋮ Are the open-ended rules for negation categorical? ⋮ Compositionality solves Carnap's problem ⋮ A new semantics for vagueness ⋮ The logical and the analytic ⋮ Carnapian and Tarskian semantics ⋮ A forgotten strand of reception history: understanding pure semantics ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Semantic holism ⋮ A system for proper multiple-conclusion entailment ⋮ A meta-logic of inference rules: Syntax ⋮ Carnap's early semantics ⋮ Point-Free Spectra of Linear Spreads ⋮ Priest on Negation ⋮ Conventionalism, consistency, and consistency sentences ⋮ SEMANTICS OF COMPLEX STRUCTURAL SYSTEMS—PRESENTATION AND REPRESENTATION: A SYNCHRONIC VISION OF LANGUAGEL(MT) ⋮ Expressive power and incompleteness of propositional logics ⋮ Speech acts, categoricity, and the meanings of logical connectives ⋮ Inferentializing semantics ⋮ A Generalisation of a Refutation-related Method in Paraconsistent Logics ⋮ Disjunctive and conjunctive multiple-conclusion consequence relations ⋮ The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church ⋮ Contradictoriness, Paraconsistent Negation and Non-intended Models of Classical Logic ⋮ Empirical significance, predictive power, and explication ⋮ Classical harmony and separability ⋮ Deductive systems with multiple-conclusion rules and the disjunction property ⋮ Stipulation and Symmetrical Consequence ⋮ The revival of rejective negation ⋮ Frege, the identity ofSinnand Carnap's intension ⋮ Carnap and the compulsions of interpretation: reining in the liberalization of empiricism ⋮ Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics ⋮ Functional dependencies, supervenience, and consequence relations
