Infinitary action logic with exponentiation

&
Annals of Pure and Applied Logic 173 (2):103057 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2021.103057

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,774

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

A complete axiomatization of infinitary first-order intuitionistic logic over L κ +, κ.Christian Espíndola - 2025 - Annals of Pure and Applied Logic 176 (1):103506.
Algebraically closed field with pseudo-exponentiation.B. Zilber - 2005 - Annals of Pure and Applied Logic 132 (1):67-95.
Infinitary first-order categorical logic.Christian Espíndola - 2019 - Annals of Pure and Applied Logic 170 (2):137-162.
Modality, bisimulation and interpolation in infinitary logic.Johan van Benthem - 1999 - Annals of Pure and Applied Logic 96 (1-3):29-41.
Equational theory of positive numbers with exponentiation is not finitely axiomatizable.R. Gurevič - 1990 - Annals of Pure and Applied Logic 49 (1):1-30.
Iterated elementary embeddings and the model theory of infinitary logic.John T. Baldwin & Paul B. Larson - 2016 - Annals of Pure and Applied Logic 167 (3):309-334.
GASARCH, W., see FORTNOW, L. HASKELL, D. and MACPHERSON, D., Cell decompositions of C-minimal structures HIRST, JL, Reverse mathematics and ordinal exponentiation JAIN, S., see FORTNOW, L. [REVIEW]F. Cardone & M. Dezani-Ciancaglini - 1994 - Annals of Pure and Applied Logic 66:303.
Realisability for infinitary intuitionistic set theory.Merlin Carl, Lorenzo Galeotti & Robert Passmann - 2023 - Annals of Pure and Applied Logic 174 (6):103259.
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions.Matteo Tesi & Sara Negri - 2023 - Annals of Pure and Applied Logic 174 (8):103285.
Boolean valued semantics for infinitary logics.Juan M. Santiago Suárez & Matteo Viale - 2024 - Annals of Pure and Applied Logic 175 (1):103333.

Analytics

Added to PP
2021-11-04

Downloads
23 (#926,173)

6 months
6 (#812,205)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stanislav Speranski
St. Petersburg State University

Citations of this work

Add more citations

References found in this work

Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

View all 10 references / Add more references