Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?
type: Item
instance of: scholarly article
title: Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?
zbMATH Open document ID: 1429.03058
DOI: 10.1007/978-3-319-11041-7_11
author: Peter Pagin
published in: Dag Prawitz on Proofs and Meaning
publication date: 2020-02-04T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B10
zbMATH DE Number: 7162489
zbMATH Keywords: anaphora
zbMATH Keywords: axiomatization
zbMATH Keywords: fusing operators
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: natural deduction
zbMATH Keywords: natural language
zbMATH Keywords: PFO
zbMATH Keywords: Prawitz
zbMATH Keywords: predicate logic
zbMATH Keywords: uniform definition
zbMATH Keywords: unselective binding.
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-319-11041-7 11
OpenAlex ID: W1741214173
cites work: Dynamic predicate logic
cites work: Predicate logic with flexibly binding operators and natural language semantics
Recommended article: What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?
Recommended article: Effect of the choice of connectives on the relation between classical logic and intuitionistic logic
Recommended article: Combining intuitionistic connectives and Routley negation
Recommended article: Between \(\mathrm{Int}_{\langle\omega,\omega\rangle}\) and intuitionistic propositional logic
Recommended article: On a contraction-less intuitionistic propositional logic with conjunction and fusion
Recommended article: Nonstandard connectives of intuitionistic propositional logic
Recommended article: Semantic characterization of intuitionistic logical connectives
Recommended article: Q4364519
Recommended article: Q4385438
Recommended article: Combining implicational quantifiers for equivalence ones by fuzzy connectives
description: scientific article; zbMATH DE number 7162489