✦ LIBER ✦

On the question of quantitative characteristics of logical formulas

✍ Scribed by M. I. Liogon'kii

Publisher: Springer US
Year: 1973
Tongue: English
Weight: 463 KB
Volume: 6
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01073959

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the conditional degree of satisfiabil

On the conditional degree of satisfiability of logical formulas

✍ M. I. Liogon'kii 📂 Article 📅 1969 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 484 KB

Translations of Logical Formulas and the

Translations of Logical Formulas and the Equiconsistency Problem

✍ Andrei A. Kuzichev 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 369 KB

## Abstract A translation of formulas in a language __L__~1~ to formulas in a language __L__~2~ is a mapping which preserves the parameters and commutes with the substitution prefix, the propositional connectives and the quantifiers. Every translation generates a corresponding transformation of the

The categoricity question of certain gra

The categoricity question of certain grand logics

✍ Hao Wang 📂 Article 📅 1953 🏛 Springer-Verlag 🌐 French ⚖ 495 KB

Questions from the Handbook of Logic and

Questions from the Handbook of Logic and Language

✍ Van Benthem and Ter Meulen 📂 Fiction 📅 0 🌐 English ⚖ 703 KB

Two sides to every question: The impact

Two sides to every question: The impact of news formulas on abortion policy options

✍ Celeste Michelle Condit 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 657 KB

A note on the normal form of closed form

A note on the normal form of closed formulas of interpretability logic

✍ Petr Hájek; Vítězslav Švejdar 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 183 KB

Each dosed (i.e. variable f~ee) formula of interpretability logic is equivalent in ILF to a dosed formula of the provability logic G, thus to a Boolean combination of formulas of the form D ~ 3-. 1. Introduction. G stands for provability logic, i.e. for the modal propositional calculus whose axioms