Rejection
From MaRDI portal
Cited in
(59)- Speech acts, categoricity, and the meanings of logical connectives
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
- Normality, non-contamination and logical depth in classical natural deduction
- Why conclusions should remain single
- Logic in the \textit{Tractatus}
- Rejection: a historico-epistemological view
- Unified deductive systems: an outline
- Rejection and truth-value gaps
- Notational variance and its variants
- A meta-logic of inference rules: syntax
- Still in the mood: the versatility of subjunctive markers in modal logic
- On all strong Kleene generalizations of classical logic
- Identity and harmony and modality
- An expressivist bilateral meaning-is-use analysis of classical propositional logic
- The logic of lexical connectives
- First order expressivist logic
- State-based modal logics for free choice
- Epistemic modals in hypothetical reasoning
- Truth and falsity in communication: assertion, denial, and interpretation
- Naïve non-substructural solutions to the validity paradox
- Towards a polarized semantics for assertion and denial
- Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics
- Knot much like tonk
- Carnap's problem, definability and compositionality
- Tarskian consequence relations bilaterally: some familiar notions
- Logical multilateralism
- A simple paraconsistent logic without addition
- Assertion, rejection, and semantic universals
- Classical harmony and separability
- AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS
- Some more theorems on structural entailment relations and non-deterministic semantics
- Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
- Structural Rules in Natural Deduction with Alternatives
- Supposition: A Problem for Bilateralism
- Categorical quantification
- Inferentialism and uniformity
- Is `no' a force-indicator? Yes, sooner or later!
- Supervenience, dependence, disjunction
- Empty logics
- Meta-inferences and supervaluationism
- Supposition: no problem for bilateralism
- Russell on negative judgement
- Bilattice logics and demi-negation
- Inferential quantification and the -rule
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
- Denial and disagreement
- The Buddhist Sengzhao's roots in Daoism: \textit{ex contradictione nihil}
- Are the open-ended rules for negation categorical?
- EPISTEMIC MULTILATERAL LOGIC
- Meaning and identity of proofs in a bilateralist setting: a two-sorted typed lambda-calculus for proofs and refutations
- The revival of rejective negation
- Neglect-zero effects in dynamic semantics
- Bilateralism, trilateralism, multilateralism and poly-sequents
- Compositionality solves Carnap's problem
- Some comments on Ian Rumfitt's bilateralism
- A general schema for bilateral proof rules
- Proofs with star and perp
This page was built for publication: Rejection
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4497444)
