Ł-decidability and decidability

Bulletin of the Section of Logic 1 (3):38-43 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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 reductive approach to l-decidability.Piotr Lukowski - 1999 - Bulletin of the Section of Logic 28 (3):171-177.
The proof of L-decidability of Lewis' system S5.Jerzy Slupecki & Grzegorz Bryll - 1972 - Bulletin of the Section of Logic 1 (1):32-34.
Tableau system for logic of categorial propositions and decidability.Tomasz Jarmuzek - 2008 - Bulletin of the Section of Logic 37 (3/4):223-231.
Tableau System for Logic of Categorial Propositions and Decidability.Jarmużek Tomasz - 2008 - Bulletin of the Section of Logic 37 (3/4):4.
Decidability of structural completeness for strongly finite propositional calculi.Zdzislaw Dywan - 1978 - Bulletin of the Section of Logic 7 (3):129-131.
Decidability of structural completeness for strongly finite propositional calculi.Zdzis law Dywan - 1978 - Bulletin of the Section of Logic 7 (3):129-131.
Decidability of modal logics s4⊕ αn, s4⊕ ξn wrt admissible inference rules.A. N. Rutskiy - 2001 - Bulletin of the Section of Logic 30 (4):181-189.
A Syntactic Proof of the Decidability of First-Order Monadic Logic.Eugenio Orlandelli & Matteo Tesi - 2024 - Bulletin of the Section of Logic 53 (2):223-244.
Decidability of Some Extensions of J.R. I. Goldblatt - 1974 - Mathematical Logic Quarterly 20 (13‐18):203-206.
Decidability, Recursive Enumerability and Kleene Hierarchy For L‐Subsets.Loredana Biacino & Giangiacomo Gerla - 1989 - Mathematical Logic Quarterly 35 (1):49-62.

Analytics

Added to PP
2014-02-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Rejection in Łukasiewicz's and Słupecki's Sense.Wybraniec-Skardowska Urszula - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.

Add more citations

References found in this work

No references found.

Add more references