Bilateralism, Trilateralism, Multilateralism and Poly-Sequents

Journal of Philosophical Logic 48 (2):245-262 (2019)
  Copy   BIBTEX

Abstract

The paper introduces the formula structure of poly-sequents, allowing the expression of poly-positions: positions with any number of stances, of which bilateralism and trilateralism are special cases. The paper also puts forward the view that s-coherence of such poly-positions can be defined inferentially, without appealing to their validity under interpretations of the object language.

Categories

Keywords

Reprint years

DOI

10.1007/s10992-018-9464-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Consequences of the Provability of NP ⊆ P/poly.Stephen Cook & Jan Krajíček - 2007 - Journal of Symbolic Logic 72 (4):1353 - 1371.
Elimination of unbounded quantifiers for some poly-regular groups of infinite rank.Philip Scowcroft - 2007 - Annals of Pure and Applied Logic 149 (1-3):40-80.
The co-ordination principles: A problem for bilateralism.Fernando Ferreira - 2008 - Mind 117 (468):1051-1057.
Higher-order sequent-system for intuitionistic modal logic.Kosta Dosen - 1985 - Bulletin of the Section of Logic 14 (4):140-142.
Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic.Romas Alonderis - 2007 - Logic Journal of the IGPL 15 (1):1-19.
Bilateralism and Community in Treaty Law and Practice–From Warriors, Workers and (Hook-) Worms.Kenneth J. Keith - 2011 - In Ulrich Fastenrath, Rudolf Geiger, Daniel-Erasmus Khan, Andreas Paulus, Sabine von Schorlemer & Christoph Vedder (eds.), From Bilateralism to Community Interest. Oxford University Press. pp. 754--767.
Acceptance, inference, and the multiple-conclusion sequent.Tor Sandqvist - 2012 - Synthese 187 (3):913-924.
Evidence of systematic expressed sequence tag image clone cross-hybridization on cdna microarrays.Clark Glymour - unknown
Evidence of systematic expressed sequence tag IMAGE clone cross-hybridization on cDNA microarrays.Larry Wasserman - unknown
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (2-3):239-259.
Propriétés résiduelLes dans Les groupes supersimpLes.Frank Wagner - 2011 - Journal of Symbolic Logic 76 (2):361 - 367.
Controlled radical polymerization of acrylates regulated by visible light.N. J. Treat, B. P. Fors, J. W. Kramer, M. Christianson, C. Y. Chiu, J. R. D. Alaniz & C. J. Hawker - unknown
Au-delà de la cooccurrence binaire… Poly-cooccurrences et trames de cooccurrence.William Martinez - 2012 - Corpus 11.
Cut-free double sequent calculus for S5.A. Indrzejczak - 1998 - Logic Journal of the IGPL 6 (3):505-516.
O Significado da Negação.Gonçalo Santos - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1137-1152.

Analytics

Added to PP
2018-05-22

Downloads
36 (#441,732)

6 months
5 (#628,512)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nissim Francez
Technion, Israel Institute of Technology

Citations of this work

Logical Multilateralism.Heinrich Wansing & Sara Ayhan - 2023 - Journal of Philosophical Logic 52 (6):1603-1636.
Not a Knot.Paula Teijeiro - 2020 - Thought: A Journal of Philosophy 9 (1):14-24.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Assertion.Peter Geach - 1965 - Philosophical Review 74 (4):449-465.
Weak Rejection.Luca Incurvati & Julian J. Schlöder - 2017 - Australasian Journal of Philosophy 95 (4):741-760.
Multiple Conclusions.Greg Restall - 2005 - In Petr Hájek, Luis Valdés-Villanueva & Dag Westerståhl (eds.), Logic, Methodology and Philosophy of Science. College Publications.
Yes and no.I. Rumfitt - 2000 - Mind 109 (436):781-823.

View all 11 references / Add more references