inquisitive logic
Recently Published Documents


TOTAL DOCUMENTS

11
(FIVE YEARS 1)

H-INDEX

4
(FIVE YEARS 0)

Synthese ◽  
2018 ◽  
Vol 197 (9) ◽  
pp. 3905-3945 ◽  
Author(s):  
Thom van Gessel

2017 ◽  
Vol 10 (1) ◽  
pp. 65-79 ◽  
Author(s):  
FAN YANG

AbstractBoth propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula in the language of inquisitive logic with intuitionistic disjunction or intuitionistic implication can be translated equivalently into a formula in the language of propositional dependence logic without these two connectives. We show that although such a (noncompositional) translation exists, neither intuitionistic disjunction nor intuitionistic implication is uniformly definable in propositional dependence logic.


Author(s):  
Sabine Frittella ◽  
Giuseppe Greco ◽  
Alessandra Palmigiano ◽  
Fan Yang
Keyword(s):  

2010 ◽  
Vol 40 (1) ◽  
pp. 55-94 ◽  
Author(s):  
Ivano Ciardelli ◽  
Floris Roelofsen
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document