On bracketing names and quantifiers in first-order logic

被引：0
|
作者：
Pasniczek, J [1 ]
机构：
[1] Marie Curie Sklodowska Univ, Dept Philosophy, PL-20031 Lublin, Poland
来源：
HISTORY AND PHILOSOPHY OF LOGIC | 1999年 / 20卷 / 3-4期
关键词：
D O I：
10.1080/01445349950044170
中图分类号：
B82 [伦理学（道德学）];
学科分类号：
摘要：
[No abstract available]
引用
收藏
页码：239 / 250
页数：12
相关论文
共 50 条
  • [1] Variant quantifiers in L3-valued first-order logic
    Wei Li
    Yuefei Sui
    [J]. Frontiers of Computer Science, 2021, 15
  • [2] Hanf normal form for first-order logic with unary counting quantifiers
    Heimberg, Lucas
    Kuske, Dietrich
    Schweikardt, Nicole
    [J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 277 - 286
  • [3] Variant quantifiers in L3-valued first-order logic
    Li, Wei
    Sui, Yuefei
    [J]. FRONTIERS OF COMPUTER SCIENCE, 2021, 15 (05)
  • [4] ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS
    Antonelli, G. Aldo
    [J]. REVIEW OF SYMBOLIC LOGIC, 2013, 6 (04): : 637 - 658
  • [5] On Measure Quantifiers in First-Order Arithmetic
    Antonelli, Melissa
    Dal Lago, Ugo
    Pistone, Paolo
    [J]. CONNECTING WITH COMPUTABILITY, 2021, 12813 : 12 - 24
  • [6] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
  • [7] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    [J]. LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [8] First-order concatenation theory with bounded quantifiers
    Lars Kristiansen
    Juvenal Murwanashyaka
    [J]. Archive for Mathematical Logic, 2021, 60 : 77 - 104
  • [9] First order quantifiers in monadic second order logic
    Keisler, HJ
    Lotfallah, WB
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (01) : 118 - 136
  • [10] First-order concatenation theory with bounded quantifiers
    Kristiansen, Lars
    Murwanashyaka, Juvenal
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2021, 60 (1-2) : 77 - 104
12345