Ran Lanzet

From MaRDI portal
Person:3367326



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
The Review of Symbolic Logic
2017-09-15Paper
Logical inquiries into a new formal system with plural reference2006-01-24Paper


Research outcomes over time


This page was built for person: Ran Lanzet