Bilateral base-extension semantics
From MaRDI portal
Cites work
- A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
- A more general general proof theory
- A note on synonymy in proof-theoretic semantics
- A sequent calculus perspective on base-extension semantics
- Base-extension semantics for intuitionistic sentential logic
- Bilateralism in proof-theoretic semantics
- Classical logic without bivalence
- Constructivism in mathematics. An introduction. Volume II
- Failure of completeness in proof-theoretic semantics
- Falsification, natural deduction and bi-intuitionistic logic
- From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic
- General-elimination harmony and the meaning of the logical constants
- Harmonious many-valued propositional logics and the logic of computer networks
- Harmony and paradox. Intensional aspects of proof-theoretic semantics
- scientific article; zbMATH DE number 1078585 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- Implicit epistemic aspects of constructive logic
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
- Knot and tonk: nasty connectives on many-valued truth-tables for classical sentential logic
- Logical multilateralism
- Meaning and identity of proofs in a bilateralist setting: a two-sorted typed lambda-calculus for proofs and refutations
- Natural deduction for dual-intuitionistic logic
- On logics with coimplication
- On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
- Popper's Notion of Duality and His Theory of Negations
- Proof and falsity. A logical investigation
- Proof-theoretic semantics for first-order logic
- Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
- Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
- Some comments on Ian Rumfitt's bilateralism
- The aim and validity of inference and argument
- The fundamental problem of general proof theory
- The seeming interdependence between the concepts of valid inference and proof
- Uniqueness of logical connectives in a bilateralist setting
- Validity concepts in proof-theoretic semantics
- Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
- What is a logical theory? On theories containing assertions and denials
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
This page was built for publication: Bilateral base-extension semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7362225)
