PP-2011-34:
Bezhanishvili, Nick and de Jongh, Dick
(2011)
*Extendible formulas in two variables in intuitionistic logic.*
[Report]

Preview |
Text (Full Text)
PP-2011-34.text.pdf Download (241kB) | Preview |

Text (Abstract)
PP-2011-34.abstract.txt Download (621B) |

## Abstract

We give alternative characterizations of exact, extendible and

projective formulas in intuitionistic propositional calculus IPC in

terms of n-universal models. From these characterizations we derive a

new syntactic description of all extendible formulas of IPC in two

variables. For the formulas in two variables we also give an

alternative proof of Ghilardi’s theorem that every extendible formula

is projective.

Item Type: | Report |
---|---|

Report Nr: | PP-2011-34 |

Series Name: | Prepublication (PP) Series |

Year: | 2011 |

Uncontrolled Keywords: | intuitionistic logic; universal models; exact formulas; projective formulas; extendible |

Subjects: | Logic |

Date Deposited: | 12 Oct 2016 14:37 |

Last Modified: | 12 Oct 2016 14:37 |

URI: | https://eprints.illc.uva.nl/id/eprint/438 |

## Actions (login required)

View Item |