Canonical Formulas for the Lax Logic | Institute for Logic, Language and Computation

About the ILLC
News and Events
Research
Education
People
Media
- Blog
- ILLC People in the Media
  - 2024
  - 2023
  - 2022
  - 2021
  - 2020
  - 2019
  - 2018
  - 2017
  - 2016
  - 2015
  - 2014
  - 2013
  - 2012
  - 2011
  - 2010
  - 2009
  - 2008
  - 2007
- ILLC Magazine
Contact
- Contact
- Directions
Search

Institute for Logic, Language and Computation

ILLC UvA

Main Page Navigation

About the ILLC
News and Events
Research
Education
People
- Communication Commission
  - Communication Session
Media
Contact
- - Contact
  - Directions

Master of Logic (MoL) Series

Home

Research Output

Preprints and Other Reports

Master of Logic (MoL) Series

Canonical Formulas for the Lax Logic

Preprints and Other Reports
Prepublication (PP) Series
Technical Notes (X) Series
Master of Logic (MoL) Series
Mathematical Logic and Foundations (ML) Series (1988-1998)
Logic, Philosophy and Linguistics (LP) Series (1988-1998)
Computation and Complexity Theory (CT) Series (1988-1998)
Computational Linguistics (CL) Series (1988-1993)
Instituut voor Taal, Logika en Informatie (ITLI) Series (1986-1987)

MoL-2020-13:: Sebastian David Melzer Canonical Formulas for the Lax Logic
1.Full Text, 2.Abstract.

Back

Copyright ILLC/UvA 2024 Privacy policy