Embedding formalisms: hypersequents and two-level systems of rule

&
In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 197-216 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

Two types of multiple-conclusion systems.A. Avron - 1998 - Logic Journal of the IGPL 6 (5):695-718.
On Rule Embedding Artifacts.Gheorghe Ştefanov - 2015 - In Alexandru Manafu (ed.), The Prospects for Fusion Emergence. Boston Studies in the Philosophy and History of Science, vol. 313: Boston Studies in the Philosophy and History of Science, vol. 313.
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.
Algebraic proof theory: Hypersequents and hypercompletions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2017 - Annals of Pure and Applied Logic 168 (3):693-737.
Multiplicative Conjunction as an Extensional Conjunction.Arnon Avron - 1997 - Logic Journal of the IGPL 5 (2):181-208.
An alternative rule of disjunction in modal logic.Timothy Williamson - 1991 - Notre Dame Journal of Formal Logic 33 (1):89-100.
On the Rule of Law: History, Politics, Theory.Brian Z. Tamanaha - 2004 - Cambridge University Press.
Imposed intelligibility and strong claims concerning cognitive systems.Roy Lachman - 2004 - Behavioral and Brain Sciences 27 (2):294-295.
Connectionism and rules and representation systems: Are they compatible?William Bechtel - 1988 - Philosophical Psychology 1 (1):5-16.
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
Embedding of the classical into the quantum description of photons.M. Enderle & H. Neumann - 1994 - Foundations of Physics 24 (10):1415-1424.
Hypersequents and the proof theory of intuitionistic fuzzy logic.Matthias Baaz & Richard Zach - 2000 - In Clote Peter G. & Schwichtenberg Helmut (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Springer. pp. 187– 201.
A context for belief revision: forward chaining-normal nonmonotomic rule systems.V. W. Marek, A. Nerode & J. B. Remmel - 1994 - Annals of Pure and Applied Logic 67 (1-3):269-323.
Dynamic interpretations of constraint-based grammar formalisms.Lawrence S. Moss & David E. Johnson - 1995 - Journal of Logic, Language and Information 4 (1):61-79.
Embeddings of Computable Structures.Asher M. Kach, Oscar Levin & Reed Solomon - 2010 - Notre Dame Journal of Formal Logic 51 (1):55-68.

Analytics

Added to PP
2018-02-24

Downloads
7 (#1,360,984)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
A constructive analysis of RM.Arnon Avron - 1987 - Journal of Symbolic Logic 52 (4):939 - 951.
Prefixed tableaus and nested sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.

View all 7 references / Add more references