The following pages link to (Q5839916):
Displaying 46 items.
- An expressivist bilateral meaning-is-use analysis of classical propositional logic (Q302171) (← links)
- Logic reduced to bare (proof-theoretical) bones (Q302245) (← links)
- Carnap's early semantics (Q486945) (← links)
- Conventionalism, consistency, and consistency sentences (Q514102) (← links)
- Semantic holism (Q918524) (← links)
- Expressive power and incompleteness of propositional logics (Q965859) (← links)
- Inferentializing semantics (Q975776) (← links)
- Functional dependencies, supervenience, and consequence relations (Q1322439) (← links)
- The revival of rejective negation (Q1582228) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Compositionality solves Carnap's problem (Q1706739) (← links)
- A new semantics for vagueness (Q1706781) (← links)
- The logical and the analytic (Q1708753) (← links)
- Carnapian and Tarskian semantics (Q1708755) (← links)
- A forgotten strand of reception history: understanding pure semantics (Q1708757) (← links)
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives (Q1922666) (← links)
- Disjunctive and conjunctive multiple-conclusion consequence relations (Q2027207) (← links)
- Empirical significance, predictive power, and explication (Q2052676) (← links)
- Classical harmony and separability (Q2055927) (← links)
- Speech acts, categoricity, and the meanings of logical connectives (Q2258539) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- Carnap and the compulsions of interpretation: reining in the liberalization of empiricism (Q2346828) (← links)
- Revisiting Quine on truth by convention (Q2410896) (← links)
- On the mutual definability of the notions of entailment, rejection, and inconsistency (Q2422532) (← links)
- Are the open-ended rules for negation categorical? (Q2695402) (← links)
- SEMANTICS OF COMPLEX STRUCTURAL SYSTEMS—PRESENTATION AND REPRESENTATION: A SYNCHRONIC VISION OF LANGUAGE<i>L</i>(<i>M</i><sub><i>T</i></sub>) (Q2747506) (← links)
- A system for proper multiple-conclusion entailment (Q2987737) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- Priest on Negation (Q3305669) (← links)
- Frege, the identity of<i>Sinn</i>and Carnap's intension (Q3429440) (← links)
- Generalized Entailments (Q4568330) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- A Generalisation of a Refutation-related Method in Paraconsistent Logics (Q4683226) (← links)
- Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics (Q5027251) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
- Deductive systems with unified multiple-conclusion rules (Q5061418) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church (Q5208102) (← links)
- Contradictoriness, Paraconsistent Negation and Non-intended Models of Classical Logic (Q5213759) (← links)
- Stipulation and Symmetrical Consequence (Q5241532) (← links)
- CARNAP’S PROBLEM FOR MODAL LOGIC (Q6045103) (← links)
- What is a logical theory? On theories containing assertions and denials (Q6067100) (← links)
- Knot is not that nasty (but it is hardier than tonk) (Q6067102) (← links)
- Two traditions in abstract valuational model theory (Q6088600) (← links)
- Unified deductive systems: an outline (Q6146292) (← links)
