Crouse, David; Skufca, Joseph On the nature of discrete space-time. I. The distance formula, relativistic time dilation and length contradiction in discrete space-time. (English) Zbl 1434.83096 Log. Anal., Nouv. Sér. 62, No. 246, 177-223 (2019). MSC: 83D05 83C27 83A05 PDFBibTeX XMLCite \textit{D. Crouse} and \textit{J. Skufca}, Log. Anal., Nouv. Sér. 62, No. 246, 177--223 (2019; Zbl 1434.83096) Full Text: DOI arXiv
Lefever, Koen; Székely, Gergely Comparing classical and relativistic kinematics in first-order logic. (English) Zbl 1436.03097 Log. Anal., Nouv. Sér. 61, No. 241, 57-117 (2018). MSC: 03B30 70B05 70H40 83A05 PDFBibTeX XMLCite \textit{K. Lefever} and \textit{G. Székely}, Log. Anal., Nouv. Sér. 61, No. 241, 57--117 (2018; Zbl 1436.03097) Full Text: DOI arXiv
Krause, Décio Axioms for collections of indistinguishable objects. (English) Zbl 0976.03056 Log. Anal., Nouv. Sér. 39, No. 153-154, 69-93 (1996). MSC: 03E70 81P10 PDFBibTeX XMLCite \textit{D. Krause}, Log. Anal., Nouv. Sér. 39, No. 153--154, 69--93 (1996; Zbl 0976.03056)
Béziau, Jean-Yves Legislative theory of pure negation. (Théorie legislative de la négation pure.) (French) Zbl 0973.03006 Log. Anal., Nouv. Sér. 37, No. 147-148, 209-225 (1994). MSC: 03B05 03B20 03B22 03B30 PDFBibTeX XMLCite \textit{J.-Y. Béziau}, Log. Anal., Nouv. Sér. 37, No. 147--148, 209--225 (1994; Zbl 0973.03006)
da Costa, Newton C. A.; Béziau, Jean-Yves Theory of valuation. (Théorie de la valuation.) (French) Zbl 0973.03012 Log. Anal., Nouv. Sér. 37, No. 146, 95-117 (1994). MSC: 03B22 03B20 03B25 03B53 PDFBibTeX XMLCite \textit{N. C. A. da Costa} and \textit{J.-Y. Béziau}, Log. Anal., Nouv. Sér. 37, No. 146, 95--117 (1994; Zbl 0973.03012)
Sanchez-Mazas, Miguel Errata to: “Une nouvelle méthode de décision. Identification et analyse des classes d’équivalence de la logique modale par des invariants numériques”. (French) Zbl 0727.03011 Logique Anal., Nouv. Sér. 31, No. 121-122, 189-193 (1988). MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{M. Sanchez-Mazas}, Log. Anal., Nouv. Sér. 31, No. 121--122, 189--193 (1988; Zbl 0727.03011)
Sanchez-Mazas, Miguel Une nouvelle méthode de décision. Identification et analyse des classes d’équivalence de la logique modale par des invariants numériques. (A new decision method. Identification and analysis of equivalence classes of modal logic by numerical invariants). (French) Zbl 0699.03007 Logique Anal., Nouv. Sér. 30, No. 120, 401-439 (1987). Reviewer: V.Shekhtman MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{M. Sanchez-Mazas}, Log. Anal., Nouv. Sér. 30, No. 120, 401--439 (1987; Zbl 0699.03007)
Michel, Max Computation of temporal operators. (English) Zbl 0588.03008 Logique Anal., Nouv. Sér. 28, 137-152 (1985). Reviewer: A.Kreczmar MSC: 03B25 03D05 68Q60 03B45 68Q65 PDFBibTeX XMLCite \textit{M. Michel}, Log. Anal., Nouv. Sér. 28, 137--152 (1985; Zbl 0588.03008)
Simmons, Harry Counting countable e. c. structures. (English) Zbl 0352.02038 Logique Anal., Nouv. Sér. 18, 309-357 (1975). MSC: 03C68 03G05 03C35 PDFBibTeX XMLCite \textit{H. Simmons}, Log. Anal., Nouv. Sér. 18, 309--357 (1975; Zbl 0352.02038)