From apophantics to manifolds: the structure of Husserl's formal logic
Paul Cortois (1996)
Philosophia Scientiae
Similarity:
Paul Cortois (1996)
Philosophia Scientiae
Similarity:
Svetlana Knjazev Adamović (2012)
Review of the National Center for Digitization
Similarity:
Richard Ketchum (1996)
Philosophia Scientiae
Similarity:
Andrzej Indrzejczak (2016)
Bulletin of the Section of Logic
Similarity:
In the paper a decision procedure for S5 is presented which uses a cut-free sequent calculus with additional rules allowing a reduction to normal modal forms. It utilizes the fact that in S5 every formula is equivalent to some 1-degree formula, i.e. a modally-flat formula with modal functors having only boolean formulas in its scope. In contrast to many sequent calculi (SC) for S5 the presented system does not introduce any extra devices. Thus it is a standard version of SC but with...
De Freitas, Antonio (2002)
Boletín de la Asociación Matemática Venezolana
Similarity:
Jaime Nubiola (1996)
Philosophia Scientiae
Similarity:
M. S. Popadić (1959)
Matematički Vesnik
Similarity:
M. S. Popadić (1965)
Matematički Vesnik
Similarity:
Michel Bourdeau (2003)
Philosophia Scientiae
Similarity:
Contrairement à ce qui a parfois été dit, la logique classique et la logique intuitionniste ne s’opposent pas comme une logique de l’existence à une logique de la connaissance. Les considérations épistémologiques trouvent naturellement leur place dans le cadre de la logique classique, sans qu’il soit nécessaire de faire intervenir aucun principe intuitionniste ; il suffit pour cela de reconnaître que la logique ne peut se passer de la notion d’assertion, ou si l’on préfère de jugement....
Passy, Solomon (2015)
Serdica Journal of Computing
Similarity:
Among the millions of words uttered and written on the subject of democracy, Winston Churchill’s are among the most famous: “Democracy is the worst form of government except all those other forms that have been tried from time to time.” [4] The occasion of the remark – it was made on 11 November 1947, when the great wartime leader spoke for the opposition in Britain’s House of Commons – is a reminder of how far the world has since travelled. Yet the passing of six decades notwithstanding,...
Joanna Grygiel (2018)
Bulletin of the Section of Logic
Similarity:
We present the history of the conference Applications of Algebra in Logic and Computer Science, whose twenty-third edition will be held in March, 2019. At the end we outline some plans for the future.
Ghilezan, Silvia, Kunčak, Viktor (2001)
Novi Sad Journal of Mathematics
Similarity:
Miodrag Kapetanović (2007)
Publications de l'Institut Mathématique
Similarity:
Andrew Schumann (2012)
Review of the National Center for Digitization
Similarity: