Sciweavers

Share
6 search results - page 1 / 2
» logcom 2016
Sort
View
LOGCOM
2016
3 years 12 days ago
An open logical framework
The LFP Framework is an extension of the Harper-Honsell-Plotkin’s Edinburgh Logical Framework LF with external predicates, hence the name Open Logical Framework. This is accompli...
Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luig...
LOGCOM
2016
3 years 12 days ago
Universality in two dimensions
Turing, in his immortal 1936 paper, observed that “[human] computing is normally done by writing. . . symbols on [two-dimensional] paper”, but noted that use of a second dimen...
Nachum Dershowitz, Gilles Dowek
LOGCOM
2016
3 years 12 days ago
Nested sequent calculi for normal conditional logics
Nested sequent calculi are a useful generalization of ordinary sequent calculi, where sequents are allowed to occur within sequents. Nested sequent calculi have been profitably e...
Régis Alenda, Nicola Olivetti, Gian Luca Po...
LOGCOM
2016
3 years 12 days ago
Realization using the model existence theorem
Justification logics refine modal logics by replacing the usual necessity operator with a family of justification terms that embody reasons for the necessity of a formula, rath...
Melvin Fitting
LOGCOM
2016
3 years 12 days ago
Spoiled for choice?
The transition from a theory that turned out trivial to a consistent replacement need not proceed in terms of inconsistencies, which are negation gluts. Logics that tolerate gluts...
Diderik Batens
books