Entry Gibbins:1988:VAP from compj1980.bib
Last update: Sat Jan 6 02:03:49 MST 2018
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Gibbins:1988:VAP,
author = "P. F. Gibbins",
title = "{VDM}: axiomatising its propositional logic",
journal = j-COMP-J,
volume = "31",
number = "6",
pages = "510--516",
month = dec,
year = "1988",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/31.6.510",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
MRclass = "03B50(68Q55)",
MRnumber = "89k:03020",
bibdate = "Tue Dec 4 14:48:25 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/31/6.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/",
URL = "http://comjnl.oxfordjournals.org/content/31/6/510.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/510.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/511.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/512.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/513.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/514.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/515.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/516.tif",
acknowledgement = ack-nhfb,
affiliation = "Fac. of Math., Open Univ.",
affiliationaddress = "Milton Keynes, Engl",
classcodes = "C4210 (Formal logic); C6110B (Software engineering
techniques)",
classification = "723; C4210 (Formal logic); C6110B (Software
engineering techniques)",
corpsource = "Fac. of Math., Open Univ., Milton Keynes, UK",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "3-Valued truth-tables; 3-valued truth-tables; Automata
Theory--Theorem Proving; automatic; Automatic
Theorem-Provers; Automatic theorem-provers, Computer
Metatheory; formal logic; Formal specification; formal
specification; functions; logic design; Logic of
Partial Functions; Logical Consequence; Logical
consequence; logical consequence; LPF; Many Valued
Logics; many-; partial; Partial functions;
Propositional logic; Propositional Logic; propositional
logic; Sequent calculus; sequent calculus; theorem
proving; theorem-provers; Three-Valued Logics; valued
logics; VDM; Vienna Development Method",
reviewer = "Stephen L. Bloom",
thesaurus = "Formal logic; Formal specification; Logic design;
Many-valued logics; Theorem proving",
treatment = "T Theoretical or Mathematical",
}
Related entries
- automata,
24(2)156,
26(2)142,
27(3)233,
28(4)372,
28(5)449,
29(3)241,
30(4)328,
32(1)16,
32(1)36,
32(1)91
- automatic,
23(1)90,
23(3)242,
23(3)274,
25(1)7,
25(2)242,
25(3)316,
26(2)124,
28(1)17,
29(2)135,
29(4)315,
29(5)467,
29(6)495,
29(6)564,
30(1)63,
30(1)80,
30(3)258,
31(2)116,
31(4)364
- C4210,
31(6)525,
31(6)564,
32(1)36,
32(1)91,
32(4)290,
32(5)399,
32(5)445
- C6110B,
32(4)297,
32(4)312,
32(5)399,
32(5)413,
32(5)422,
32(5)432
- calculus,
28(2)162,
28(3)298,
32(5)399
- development,
23(2)131,
23(2)131-1,
25(2)253,
25(3)307,
25(3)358,
26(1)36,
27(1)37,
28(1)22,
28(2)148,
29(3)201,
30(1)2,
30(1)20,
30(3)233,
30(4)316,
30(4)328,
30(5)475,
31(4)379,
31(5)391,
31(5)398,
31(5)420,
31(5)426,
31(5)431,
32(5)432,
32(5)445
- engineering, 23-3-200a-200,
23(4)324,
24(3)235,
25(2)253,
26(1)1,
26(1)79,
27(1)37,
27(2)97,
27(2)179,
27(4)340,
28(3)195,
28(5)498,
29(1)20,
29(1)83,
29(1)90,
29(2)97,
29(2)161,
29(3)229,
29(3)241,
29(3)246,
29(4)300,
29(4)330,
29(5)385,
29(5)475,
29(6)527,
29(6)545,
30(2)128,
30(3)233,
30(3)254,
30(4)316,
30(4)337,
30(5)469,
30(5)475,
30(6)481,
31(3)193,
31(3)248,
31(5)391,
31(5)420,
31(5)431,
31(5)445,
31(6)525,
32(4)297,
32(4)312,
32(4)323,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(5)453
- formal,
27(2)121,
28(1)59,
28(2)112,
28(2)162,
28(5)474,
28(5)480,
29(6)481,
30(2)134,
30(2)183,
30(4)316,
30(4)328,
30(4)337,
30(6)507,
31(4)313,
31(4)325,
31(4)336,
31(6)525,
31(6)564,
32(1)1,
32(1)36,
32(1)90,
32(1)91,
32(4)290,
32(4)305,
32(4)351,
32(5)385,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(5)445
- function,
23(2)165,
23(3)286,
24(1)42,
25(3)379,
25(3)397,
25(4)448,
28(1)54,
29(1)9,
29(1)38,
29(3)277,
29(4)289,
30(1)27,
31(1)17,
31(3)209,
31(3)229,
31(3)243,
32(1)36,
32(1)93,
32(2)98,
32(2)122,
32(4)305,
32(5)461
- logic,
23(2)165,
23(2)191,
25(1)140,
25(2)218,
25(2)287,
27(3)260,
28(2)112,
28(5)474,
28(5)487,
29(1)9,
29(1)12,
29(1)17,
29(3)241,
29(3)246,
29(6)481,
29(6)495,
29(6)545,
30(1)77,
30(2)134,
30(2)183,
30(3)258,
30(3)283,
30(5)386,
30(5)393,
31(2)133,
31(3)220,
31(4)336,
31(6)525,
31(6)564,
32(1)29,
32(1)36,
32(1)90,
32(1)91,
32(4)290,
32(5)399,
32(5)445,
32(5)453
- logical,
23(1)41,
23(4)380,
23(4)381,
25(1)68,
27(4)301,
28(2)112,
28(2)170,
28(3)330,
29(1)12,
29(2)176,
29(5)472,
29(6)481,
31(2)116,
32(3)252
- many,
24(4)320,
31(3)243,
32(5)461
- metatheory,
23(1)34,
23(3)243,
27(4)376,
28(1)9,
28(3)195,
28(3)250,
28(3)257,
28(5)474,
28(5)487,
29(1)24,
29(1)76,
29(2)103,
29(2)161,
29(2)187,
29(5)404,
29(6)481,
29(6)531,
29(6)538,
29(6)545,
30(1)8,
30(1)27,
30(1)43,
30(2)134,
30(3)223,
30(4)376,
30(4)378,
30(6)507,
31(4)325,
31(4)336,
32(1)93
- method,
22(2)105,
24(2)139,
24(2)190,
24(3)230,
24(4)320,
25(1)7,
25(1)56,
25(1)61,
25(3)327,
25(3)353,
26(1)6,
26(2)187,
26(3)199,
26(3)283,
27(3)218,
27(3)238,
28(2)112,
28(2)184,
28(3)330,
28(4)372,
28(4)379,
28(4)417,
28(4)433,
28(4)444,
28(5)498,
29(2)97,
29(2)118,
29(2)167,
29(5)416,
29(5)434,
30(1)70,
30(2)149,
30(2)163,
30(2)189,
30(3)268,
30(3)277,
30(4)289,
30(4)295,
30(4)316,
30(4)337,
30(4)376,
30(6)535,
31(1)83,
31(6)565,
31(6)570,
32(1)93,
32(2)108,
32(2)142,
32(2)187,
32(3)220,
32(3)238,
32(3)241,
32(3)281,
32(4)305,
32(4)374,
32(4)377,
32(5)385,
32(5)432,
32(6)563
- partial,
23(1)37,
23(2)153,
24(1)83,
25(1)2,
28(3)319,
28(5)449,
30(3)268,
30(6)535,
31(2)147
- propositional,
28(2)105
- provers, theorem-,
28(5)474
- proving,
27(3)230,
28(2)105,
28(5)474,
31(1)51,
32(5)437
- specification,
23(1)61,
23(3)230,
25(1)34,
25(1)63,
26(4)289,
27(2)121,
27(2)143,
28(1)22,
28(1)59,
28(2)117,
28(2)154,
28(2)162,
28(3)250,
28(4)357,
29(3)261,
29(6)495,
30(2)97,
30(2)134,
30(3)223,
30(3)239,
30(4)316,
30(4)337,
30(6)512,
31(3)193,
31(3)229,
31(3)269,
31(4)313,
31(5)426,
32(1)1,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(6)541
- theorem,
27(1)8,
27(3)230,
28(2)105,
28(5)474,
29(3)277,
31(1)17,
31(1)51,
32(5)437
- theorem-provers,
28(5)474
- VDM,
30(4)316
- Vienna,
30(4)316,
32(5)432