A note on infinitary continuous logic. Issue 6 (25th November 2015)
- Record Type:
- Journal Article
- Title:
- A note on infinitary continuous logic. Issue 6 (25th November 2015)
- Main Title:
- A note on infinitary continuous logic
- Authors:
- Baratella, Stefano
- Abstract:
- Abstract : We show how to extend the Continuous Propositional Logic by means of an infinitary rule in order to achieve a Strong Completeness Theorem. Eventually we investigate how to recover a weak version of the Deduction Theorem.
- Is Part Of:
- Mathematical logic quarterly. Volume 61:Issue 6(2015)
- Journal:
- Mathematical logic quarterly
- Issue:
- Volume 61:Issue 6(2015)
- Issue Display:
- Volume 61, Issue 6 (2015)
- Year:
- 2015
- Volume:
- 61
- Issue:
- 6
- Issue Sort Value:
- 2015-0061-0006-0000
- Page Start:
- 448
- Page End:
- 457
- Publication Date:
- 2015-11-25
- Subjects:
- Mathematics -- Periodicals
Logic, Symbolic and mathematical -- Periodicals
511.3 - Journal URLs:
- http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1521-3870 ↗
http://onlinelibrary.wiley.com/ ↗ - DOI:
- 10.1002/malq.201400077 ↗
- Languages:
- English
- ISSNs:
- 0942-5616
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 5402.430000
British Library DSC - BLDSS-3PM
British Library STI - ELD Digital store - Ingest File:
- 1773.xml